Определение импликации:
A → B == ~A + B
~(A + ~B) + (B * C * D) = 1
По закону де Моргана:
(~A * B) + (B * C * D) = 1
Группируем:
B * (~A + C * D) = 1
Можем записать решения:
A B C D
0 1 0 0
0 1 0 1
0 1 1 0
0 1 0 1
1 1 1 1
после запятой значение переменной
writeln ('s = ', s);
И что же мы должны отвечать? Где вопрос?
Подробное решение во вложении