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


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

ABC¬B¬C(¬B)→(¬C)¬A(¬A)→((¬B)→(¬C))A∧B(A∧B)∧(¬C)(¬A→(¬B→¬C))≡(A∧B∧¬C)
00011111000
00110010001
01001111000
01100111000
10011101000
10110001000
11001101111
11100101100


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

По таблице истинности:
ABCF
0000
0011
0100
0110
1000
1010
1101
1110
Fсднф = ¬A∧¬B∧C ∨ A∧B∧¬C

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

По таблице истинности:
ABCF
0000
0011
0100
0110
1000
1010
1101
1110
Fскнф = (A∨B∨C) ∧ (A∨¬B∨C) ∧ (A∨¬B∨¬C) ∧ (¬A∨B∨C) ∧ (¬A∨B∨¬C) ∧ (¬A∨¬B∨¬C)

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

Рейтинг@Mail.ru

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