Решить уравнение: (А -> неС) + неВ * С + А + D = 0

Ответ:

(А → ¬C) + ¬B * C + А + D = 0

Распишем логическое выражение (А → ¬C) с помощью импликации:

¬А ∨ ¬C + ¬B * C + А + D = 0

Перенесем все слагаемые с А на одну сторону уравнения:

¬А ∨ ¬C + ¬B * C + D = -А

Сократим отрицание переменной А на обеих сторонах уравнения:

А ∨ C + ¬B * C + D = А

Перенесем все слагаемые с А на одну сторону уравнения:

C + ¬B * C + D = 0

Факторизуем левую часть уравнения:

C * (¬B + 1) + D = 0

Учитывая, что (¬B + 1) равносильно ¬¬B, получим:

C * ¬¬B + D = 0

C * B + D = 0

Ответ: уравнение имеет вид C * B + D = 0