Решить логическое уравнение А and Band ((C and Not B)or C and Not(B or C))

Question

Решить логическое уравнение
А and Band ((C and Not B)or C and Not(B or C))

Comments

не слишком ли длинное выражение?

Answer 1

Выражение
A & B & ( (C & !B) v C & !(B v C) )

Упрощаем то что в скобках
(C & !B) v C & !(B v C) =
C & !B v C & !B v C & C = C & !B v 1 = C & !B

Раскрываем скобки
A & B & ( (C & !B) v C & !(B v C) ) =
A & B & C & !B = 0

Потому что B & !B = 0