Привести к пнф выражение
Обновлено: 22.11.2024
Я пытаюсь разобраться с приведением к ПНФ и ССФ.
Буду благодарен, если кто-нибудь проверит правильность действий.
Исходное выражение:
Заменяем импликацию в скобках
Заменяем последнюю импликацию
Избавляемся от отрицания над квантором всеобщности
Убираем отрицание над квантором существования
Заменяем на
и на
Получаем:
Теперь мы можем вынести за скобки все кванторы
Приводим к КНФ:
На сколько я понимаю, это ПНФ.
Для получения ССФ нужно заменить на константу и отбросить кванторы всеобщности
Таким образом, ССФ будет иметь вид:
Все ли правильно или где-то есть ошибки?
26.05.2019, 01:52
Префиксная нормальная форма, кажется, правильная. А что такое ССФ? Эрбрановская?
Читайте также: