Задание

Сколько различных решений имеет уравнение: (не А и B) --> (C или (В и не D)) = 0.