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


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

ABCA→BA⊕CB≡C(A⊕C)↓(B≡C)(A→B)∧(A⊕C)↓(B≡C)
00010100
00111000
01010011
01111100
10001100
10100010
11011000
11110100


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

По таблице истинности:
ABCF
0000
0010
0101
0110
1000
1010
1100
1110
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, Список Литературы