Логические выражения, таблицы истинности

Жестокие требования, но попробуем.
(a→b) = (-a V b).
(-c ≡ b) = (-c Λ b) V (c Λ -b).
(-a V b) → (-a Λ c) = -(-a V b) V (-a Λ c) =
= (a Λ -b) V (-a Λ c).
Таким образом, наше выражение примет вид:
(a Λ -b) V (-a Λ c) V (c Λ -b).
Составим таблицу истинности.
Выражение примет значение 1, когда хотя бы одна из скобок равна 1. А скобка примет значение 1 только тогда, когда все переменные в ней равны 1.
(a Λ -b) = 1, когда одновременно a=1 и -b=1 (b=0), то есть 1 получим на наборах 10* (100 и 101).
(-a Λ c) = 1, когда одновременно -a=1 (a=0) и c=1, то есть 1 получим на наборах 0*1 (001 и 011).
(c Λ -b) = 1, когда одновременно -b=1 (b=0) и c=1, то есть 1 получим на наборах *01 (001 и 101).
a b c y
000 0
001 1
010 0
011 1
100 1
101 1
110 0
111 0

Дерзайте знать! ;)