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


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

FX1X2X3X1∧X2(X1∧X2)∧X3X1∨X2(X1∨X2)∨X3¬X1¬X2(¬X1)∨(¬X2)((¬X1)∨(¬X2))∨X3¬X3((¬X1)∨(¬X2))∨(¬X3)F∧((X1∧X2)∧X3)((X1∨X2)∨X3)∧(((¬X1)∨(¬X2))∨X3)(((X1∨X2)∨X3)∧(((¬X1)∨(¬X2))∨X3))∧(((¬X1)∨(¬X2))∨(¬X3))F∧(X1∧X2∧X3)≡(X1∨X2∨X3)∧(¬X1∨¬X2∨X3)∧(¬X1∨¬X2∨¬X3)
000000001111110001
000100011111010110
001000111011110110
001100111011010110
010000110111110110
010100110111010110
011010110000110001
011111110001000101
100000001111110001
100100011111010110
101000111011110110
101100111011010110
110000110111110110
110100110111010110
111010110000110001
111111110001001100


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

По таблице истинности:
FX1X2X3F
00001
00010
00100
00110
01000
01010
01101
01111
10001
10010
10100
10110
11000
11010
11101
11110
Fскнф = (F∨X1∨X2∨¬X3) ∧ (F∨X1∨¬X2∨X3) ∧ (F∨X1∨¬X2∨¬X3) ∧ (F∨¬X1∨X2∨X3) ∧ (F∨¬X1∨X2∨¬X3) ∧ (¬F∨X1∨X2∨¬X3) ∧ (¬F∨X1∨¬X2∨X3) ∧ (¬F∨X1∨¬X2∨¬X3) ∧ (¬F∨¬X1∨X2∨X3) ∧ (¬F∨¬X1∨X2∨¬X3) ∧ (¬F∨¬X1∨¬X2∨¬X3)

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

Рейтинг@Mail.ru

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