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


Промежуточные таблицы истинности:
A|B:
ABA|B
001
011
101
110

¬C:
C¬C
01
10

(A|B)∨(¬C):
ABCA|B¬C(A|B)∨(¬C)
000111
001101
010111
011101
100111
101101
110011
111000

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

ABCA|B¬C(A|B)∨¬C
000111
001101
010111
011101
100111
101101
110011
111000

Логическая схема:

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

По таблице истинности:
ABCF
0001
0011
0101
0111
1001
1011
1101
1110
Fсднф = ¬A∧¬B∧¬C ∨ ¬A∧¬B∧C ∨ ¬A∧B∧¬C ∨ ¬A∧B∧C ∨ A∧¬B∧¬C ∨ A∧¬B∧C ∨ A∧B∧¬C
Логическая cхема:

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

По таблице истинности:
ABCF
0001
0011
0101
0111
1001
1011
1101
1110
Fскнф = (¬A∨¬B∨¬C)
Логическая cхема:

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

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

Рейтинг@Mail.ru

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