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


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

ABC¬BA→(¬B)B→C¬(A→(¬B))¬(A→¬B)∧(B→C)
00011100
00111100
01001000
01101100
10011100
10111100
11000010
11100111


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

По таблице истинности:
ABCF
0000
0010
0100
0110
1000
1010
1100
1111
Fсднф = A∧B∧C

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

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

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

Рейтинг@Mail.ru

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