Для функции (B∧C)∨(A∧B)∨(A∧C):


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

BCAB∧CA∧BA∧C(B∧C)∨(A∧B)(B∧C)∨(A∧B)∨(A∧C)
00000000
00100000
01000000
01100101
10000000
10101011
11010011
11111111


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

По таблице истинности:
BCAF
0000
0010
0100
0111
1000
1011
1101
1111
Fскнф = (B∨C∨A) ∧ (B∨C∨¬A) ∧ (B∨¬C∨A) ∧ (¬B∨C∨A)

Это интересно...

Наши контакты

Рейтинг@Mail.ru

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