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


Промежуточные таблицы истинности:
¬A:
A¬A
01
10

A∧(¬A):
A¬AA∧(¬A)
010
100

A∨B:
ABA∨B
000
011
101
111

¬(A∧(¬A)):
A¬AA∧(¬A)¬(A∧(¬A))
0101
1001

(¬(A∧(¬A)))∨(A∨B):
AB¬AA∧(¬A)¬(A∧(¬A))A∨B(¬(A∧(¬A)))∨(A∨B)
0010101
0110111
1000111
1100111

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

AB¬AA∧(¬A)A∨B¬(A∧(¬A))¬(A∧¬A)∨(A∨B)
0010011
0110111
1000111
1100111

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

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

По таблице истинности:
ABF
001
011
101
111
Fсднф = ¬A∧¬B ∨ ¬A∧B ∨ A∧¬B ∨ A∧B
Логическая cхема:

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

По таблице истинности:
ABF
001
011
101
111
В таблице истинности нет набора значений переменных при которых функция ложна!

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

Рейтинг@Mail.ru

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