![]() |
Модераторы: Poseidon |
![]() ![]() ![]() |
|
eddilou |
|
|||
Новичок Профиль Группа: Участник Сообщений: 3 Регистрация: 10.5.2012 Репутация: нет Всего: нет |
Всем привет, помогите пож-та, не очень силен в Lisp но очень нужно, стоит интерпретатор XLISP, пишется под чистым лиспом т.е. Common Lisp, здание заключ в следующем:
Булева формула есть терм, определяемый следующим образом: константы true и false -булевы формулы; если X и Y - булевы формулы, то и списки (X v Y), (X & Y), (~ X) -булевы формулы, здесь v и & - бинарные инфиксные операторы дизъюнкции и конъюнкции, а ~ - унарный оператор отрицания. Напишите функцию, распознающую логические формулы в конъюнктивной нормальной форме, т.е. формулы, являющиеся конъюнкцией дизъюнкций литералов, где литерал - атомарная формула или ее отрицание. |
|||
|
||||
![]() ![]() ![]() |
Правила форума "Центр помощи" | |
|
ВНИМАНИЕ! Прежде чем создавать темы, или писать сообщения в данный раздел, ознакомьтесь, пожалуйста, с Правилами форума и конкретно этого раздела.
Более подробно с правилами данного раздела Вы можете ознакомится в этой теме. Если Вам помогли и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, Poseidon, Rodman |
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей) | |
0 Пользователей: | |
« Предыдущая тема | Центр помощи | Следующая тема » |
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |