Условие:
Минимизировать функцию алгебры логики (ФАЛ) аналитическим способом и произвести проверку правильности ее выполнения табличным
способом.

Решение:
Проставим номера выполняемых действий.

Преобразуем заданную ФАЛ в базисе И, ИЛИ, НЕ.
Противеречие всегда равно нулю, тогда 
получим
