4 задачи: исследовать формулу на тождественность, выполнимость, приведя ее к нормальным формам (без построения таблицы истинности); привести формулу к СДНФ и СКНФ аналитически (путём равносильных преобразований); минимизировать контактную схему с заданной функцией проводимости; найти значение формулы логики предикатов в заданной интерпретации
Время выполнения 1 час.