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