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