(А + В) * (А + ¬В) * С = A * C
Объяснение:
(А + В) * (А + ¬В) * С = {применяем закон №3 для дизъюнкции, т.е. выносим А за скобку} = (A + (B * ¬В)) * С = {ко второму слагаемому в скобках применяем закон №5 для конъюнкции и получаем, что оно равно 0} = (A + 0) * С = {в скобках применяем закон №7 для дизъюнкции и получаем, что оно равно А} = A * C