Решение:
Заполним таблицу истинности для выражения ¬A & (B | C). Сначала вычислим ¬A, затем (B | C), а затем ¬A & (B | C).