Какие шаги для упрощения этого (a + b) (a +! B) = a
(a + b).(a + !b) = a.(b + !b) ; distributivity [1] = a.1 ; complements [1] = a