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


Промежуточные таблицы истинности:
A↓B:
ABA↓B
001
010
100
110

¬C:
C¬C
01
10

(A↓B)∧(¬C):
ABCA↓B¬C(A↓B)∧(¬C)
000111
001100
010010
011000
100010
101000
110010
111000

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

ABCA↓B¬C(A↓B)∧¬C
000111
001100
010010
011000
100010
101000
110010
111000


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

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

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

По таблице истинности:
ABCF
0001
0010
0100
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-2018, Список Литературы