| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Центр помощи > [LISP] Распознание логические формулы в конъюнктив |
| Автор: eddilou 21.10.2012, 17:34 |
| Всем привет, помогите пож-та, не очень силен в Lisp но очень нужно, стоит интерпретатор XLISP, пишется под чистым лиспом т.е. Common Lisp, здание заключ в следующем: Булева формула есть терм, определяемый следующим образом: константы true и false -булевы формулы; если X и Y - булевы формулы, то и списки (X v Y), (X & Y), (~ X) -булевы формулы, здесь v и & - бинарные инфиксные операторы дизъюнкции и конъюнкции, а ~ - унарный оператор отрицания. Напишите функцию, распознающую логические формулы в конъюнктивной нормальной форме, т.е. формулы, являющиеся конъюнкцией дизъюнкций литералов, где литерал - атомарная формула или ее отрицание. |