0 / 0 / 0
Регистрация: 05.05.2010
Сообщений: 8
|
|
1 | |
Булева функция01.06.2010, 20:13. Показов 1811. Ответов 0
Метки нет (Все метки)
Помогите пожалуйста решить задачу :
Определим операторы: :- op( 100, fy, ~). :- op( 110, xfy, &). :- op( 120, xfy, v). Булева формула есть терм, определяемый следующим образом: константы true и false - булевы формулы; если X и Y - булевы формулы, то и X v Y, X & Y, ~X - булевы формулы, здесь v и & - бинарные инфиксные опера-торы дизъюнкции и конъюнкции, а ~ - унарный оператор отрицания. Напишите программу, задающую отношение negation_inward(+F1,-F2), которое выполнено, если логическая формула F2 получается из логической формулы F1 внесением всех операторов отрицания внутрь конъюнкций и дизъюнкций. Подсказка. Вы должны написать по одному правилу для каждого следующего случая: (для краткости записи используем обозначения из математической логики) 1. Если исходная формула имеет вид true или false, то ответ совпадает с исходной формулой. 2. Если исходная формула имеет вид X или X, где X есть атом, то ответ совпадает с исходной форму-лой. 3. Если исходная формула имеет вид X, то результат равен рекурсивному применению предиката ne-gation_inward для X. 4. Если исходная формула имеет вид X & Y, то результат равен конъюнкции рекурсивных вызовов пре-диката negation_inward для X и Y. 5. Если исходная формула имеет вид X Y, то результат равен дизъюнкции рекурсивных вызовов пре-диката negation_inward для X и Y. 6. Если исходная формула имеет вид (X Y), то результат равен конъюнкции рекурсивных вызовов предиката negation_inward для X и Y (закон де Моргана). 7. Если исходная формула имеет вид (X & Y), то результат равен дизъюнкции рекурсивных вызовов предиката negation_inward для X и Y (закон де Моргана).
0
|
01.06.2010, 20:13 | |
Ответы с готовыми решениями:
0
Выясните, сохраняет ли булева функция 0, 1, является ли функция линейной, монотонной, само двойственной? Булева функция Булева функция Может ли булева функция задана |
01.06.2010, 20:13 | |
01.06.2010, 20:13 | |
Помогаю со студенческими работами здесь
1
Проверьте, линейна ли булева функция Упростить выражение (булева функция) Таблица истинности (Булева Функция) Булева функция на логических элементах К564ЛП2 Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |