Рекурсивно-логическое программирование (отчет по лабораторной работе)

Задание:
1. Напишите программу, определяющую, в нормальной ли форме задана арифметическая сумма, т.е. имеет ли она вид А + В, где А - константа, а В-сумма в нормальной форме.
2. Напишите определение типа «булева формула».
3. Напишите программу, распознающую логические формулы в конъюнктивной нормальной форме, т.е. формулы, являющиеся конъюнкцией дизъюнкций литералов, где литерал-атомарная формула или ее отрицание.
4. Напишите программу, задающую отношение negation_inwards(Fl,F2), которое выполнено, если логическая формула F2 получается из логической формулы F1 внесением всех операторов отрицания внутрь конъюнкций и дизъюнкций.
5. Напишите программу приведения логической формулы к конъюнктивному нормальному виду, т. е. к конъюнкции дизъюнкций литералов.

2 страницы WORD