Необходимо привести заданные формулы к предваренной нор...
Решение задачи на тему
Необходимо привести заданные формулы к предваренной нормальной форме. Избавиться от импликации, пронести внешний знак отрицания до предикатных переменных.
Логика
Условие:
Привести формулы к предваренной нормальной форме:
Решение:
1) Избавляемся от импликации
проносим внешний знак отрицания до предикатных переменных