Question

Сколько существует различных наборов значений логических переменных A, B, C, D, удовлетворяющих уравнению?
(¬(A∪(B∩C))→(A∪C∩D))∪(¬A∩C∩D)=0

распишите пожалуйста, я нашел 6,в ответе 5 и 6-ой вообще никак исключить не могу

Answer 1

После преобразований:
A+BC=0
A+CD=0
CD¬A=0
Тогда получаем:
ABCD
0000
0001
0010
0100
0101