Упростите логическое выражение или укажите его результат (при его однозначности). Результат упрощения может содержать только операции инверсии, конъюнкции и дизъюнкции.

(A=B * C)→ ((B=A * D) + C)

Ответ:

(B or not A and C) => (A or not B and C)

(B + ¬AC) => (A + ¬BC)

¬(B + ¬AC) + (A + ¬BC)

¬B * ¬(¬AC)) + A + ¬BC

¬B * (A+ ¬C) + A + ¬BC

A¬B + ¬B¬C + A + ¬BC

A(¬B + 1) + ¬B(¬C + C)

A + ¬B

или же A ∨ ¬B

Объяснение: