Алгебра логики. Восстановление логической функции по таблице истинности. Сднф с помощью таблицы истинности