Упростить логическое выражение: 1) A+B+!A

2)(A#B)+(A#!B)

3)(A+B)#(A+C)

! - отрицание (не)
+ - дизъюнкция (или)
# - исключающее или, сумма по модулю 2 (XOR)

(Заранее большое)

(закон исключенного третьего: ; операция с константой: )

(заменяю на ; дальше, пользуясь сочетательным и распределительным законами и законом двойного отрицания, применяю закон исключенного третьего)

(всё вышеперечисленное, только добавляю законы де Моргана для раскрытия скобок )