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