Таблица истинности для функции ¬((¬C|¬C)→¬(B⊕A))→(¬(¬C→B)∨(B∨¬C)):


Общая таблица истинности:

CBA¬C(¬C)|(¬C)B⊕A¬(B⊕A)((¬C)|(¬C))→(¬(B⊕A))(¬C)→BB∨(¬C)¬((¬C)→B)(¬((¬C)→B))∨(B∨(¬C))¬(((¬C)|(¬C))→(¬(B⊕A)))¬((¬C|¬C)→¬(B⊕A))→(¬(¬C→B)∨(B∨¬C))
00010011011101
00110101011101
01010101110101
01110011110101
10001011100001
10101100100010
11001100110111
11101011110101

Логическая схема:

Совершенная дизъюнктивная нормальная форма (СДНФ):

По таблице истинности:
CBAF
0001
0011
0101
0111
1001
1010
1101
1111
Fсднф = ¬C∧¬B∧¬A ∨ ¬C∧¬B∧A ∨ ¬C∧B∧¬A ∨ ¬C∧B∧A ∨ C∧¬B∧¬A ∨ C∧B∧¬A ∨ C∧B∧A
Логическая cхема:

Совершенная конъюнктивная нормальная форма (СКНФ):

По таблице истинности:
CBAF
0001
0011
0101
0111
1001
1010
1101
1111
Fскнф = (¬C∨B∨¬A)
Логическая cхема:

Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы