Question

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

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

Answer 1

(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