Таблица истинности для функции A∧B∨A∧C:


Промежуточные таблицы истинности:
A∧B:
ABA∧B
000
010
100
111

A∧C:
ACA∧C
000
010
100
111

(A∧B)∨(A∧C):
ABCA∧BA∧C(A∧B)∨(A∧C)
000000
001000
010000
011000
100000
101011
110101
111111

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

ABCA∧BA∧CA∧B∨A∧C
000000
001000
010000
011000
100000
101011
110101
111111


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

По таблице истинности:
ABCF
0000
0010
0100
0110
1000
1011
1101
1111
Fсднф = A∧¬B∧C ∨ A∧B∧¬C ∨ A∧B∧C

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

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

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

Рейтинг@Mail.ru

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