Решить логическое уравнение:

Преобразуем уравнение:

(A⇒C) + B·A + ¬D = 0

¬(A⇒C) + ¬(B·A) + D = 1

2. Сокращаем одинаковые члены:

2 * ¬A + C + ¬B + D = 1

3. Анализируем полученное выражение:

Если A = 1, то C + ¬B + D = 0.
Если A = 0, то C + ¬B + D = 1.
4. Решения:

A = 1, C = 0, B = 1, D = 0
A = 0, C = 1, B = 0, D = 0
5. Ответ:

Уравнение имеет два решения:

A = 1, C = 0, B = 1, D = 0
A = 0, C = 1, B = 0, D = 0