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


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

A≡(¬B):
AB¬BA≡(¬B)
0010
0101
1011
1100

¬A:
A¬A
01
10

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

(A∧(¬A))→(A≡(¬B)):
AB¬AA∧(¬A)¬BA≡(¬B)(A∧(¬A))→(A≡(¬B))
0010101
0110011
1000111
1100001

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

AB¬BA≡(¬B)¬AA∧(¬A)A∧¬A→(A≡¬B)
0010101
0101101
1011001
1100001

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

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

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

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

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

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

Рейтинг@Mail.ru

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