Аналитические вычисления математических выражений в СКА Maxima

Задание 1:

Для булевой функции, определённой с помощью заданного математического выражения, разработать (на основе структурной декомпозиции на элементарные логические операторы) и реализовать в виде структуры данных или алгоритмической процедуры таблицу истинности. Аналитически вычислить (с пошаговым – по операторам -формированием и сохранением результатов промежуточных вычислений) вектор значений булевой функции для всех заданных наборов значений её аргументов.

Задание 2:

Определены две булевы функции, заданные формулами A и B. Проверить, являются ли эти формулы эквивалентными.

Для решения задачи необходимо каждую из формул представить либо в дизъюнктивной (ДНФ), либо в конъюнктивной (КНФ) нормальной форме, а затем применить к полученным результатам оператор символьного сравнения выражений.

Для преобразования формулы булевой функции в эквивалентную ей нормальную форму разработать и реализовать на входном языке СКА Maxima систему функций (и/или операторов), предназначенных для выполнения «направленных равенств» тождеств булевой алгебры.