Dlaczego tak
Z rozdzielności sumy względem iloczynu A + ¬A·B = (A + ¬A)·(A + B) = 1·(A + B), więc funkcja upraszcza się do A + B. Postać Y = A wynika z błędnego zastosowania prawa pochłaniania, które dotyczy wyrażenia A + A·B, a nie A + ¬A·B. Sprawdzenie dla A = 0, B = 1 daje Y = 1, co wyklucza odpowiedzi Y = A i Y = A·B.