Построить таблицу истинности для логического выражения и упростить его. (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-м базисах, карты Вейча-Карно, куб Карно.

8+4=12 т - свёклы собрали.
8+12=20 т - овощей собрали.
8:2=4 т - моркови переработали на сок.
12:4=3 т - свёклы переработали на сок.
4+3=7 т - овощей переработали на сок.
20-7=13 т - овощей увезли в магазины.
8-4=4 т - моркови увезли в магазины.
12-3=9 т - свёклы увезли в магазины.
13-7=6 т - на столько больше овощей увезли в магазины, чем переработали на сок.
9-3=6 т - на столько больше свёклы увезли в магазины, чем переработали на сок.
9:3=3 -во столько раз меньше свёклы переработали на сок, чем увезли в магазины.

8+4=12 т - свёклы собрали.
8+12=20 т - овощей собрали.
8:2=4 т - моркови переработали на сок.
12:4=3 т - свёклы переработали на сок.
4+3=7 т - овощей переработали на сок.
20-7=13 т - овощей увезли в магазины.
8-4=4 т - моркови увезли в магазины.
12-3=9 т - свёклы увезли в магазины.
13-7=6 т - на столько больше овощей увезли в магазины, чем переработали на сок.
9-3=6 т - на столько больше свёклы увезли в магазины, чем переработали на сок.
9:3=3 -во столько раз меньше свёклы переработали на сок, чем увезли в магазины.