Таблица истинности для функции (X1∨X2∨¬X3)∧(X1∨¬X2∨¬X3)∧(¬X1∨X2∨X3)∧(¬X1∨¬X2∨X3):


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

X1X2X3¬X3X1∨X2(X1∨X2)∨(¬X3)¬X2X1∨(¬X2)(X1∨(¬X2))∨(¬X3)¬X1(¬X1)∨X2((¬X1)∨X2)∨X3(¬X1)∨(¬X2)((¬X1)∨(¬X2))∨X3((X1∨X2)∨(¬X3))∧((X1∨(¬X2))∨(¬X3))(((X1∨X2)∨(¬X3))∧((X1∨(¬X2))∨(¬X3)))∧(((¬X1)∨X2)∨X3)(X1∨X2∨¬X3)∧(X1∨¬X2∨¬X3)∧(¬X1∨X2∨X3)∧(¬X1∨¬X2∨X3)
00010111111111111
00100011111111000
01011100111111111
01101100011111000
10011111100011100
10101111100111111
11011101101100110
11101101101101111


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

По таблице истинности:
X1X2X3F
0001
0010
0101
0110
1000
1011
1100
1111
Fскнф = (X1∨X2∨¬X3) ∧ (X1∨¬X2∨¬X3) ∧ (¬X1∨X2∨X3) ∧ (¬X1∨¬X2∨X3)

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

Рейтинг@Mail.ru

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