Построить таблицу истинности для логического выражения и упростить его. (a ˅(b∙c) ̅ )→c
Доказать:
(a ∙(a∙b˅a ̅∙b ̅)) ̅=a ̅˅b ̅
Доказать тождество двумя (1 – упрощение, 2 – таблица истинности).
x˅y∙z=(x˅y)∙(x˅z)
Логическая функция задана таблицей
x y z F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
Для этой функции построить СДНФ, СКНФ, схему в 1-м и 2-м базисах, карты Вейча-Карно, куб Карно.