А - формула сконструированная из переменных $%p,q,r$% с использованием только $% \land , \vee, \rightarrow $%. (без отрицания). Может ли конъюктивная нормальная форма А содержать часть $%(\neg p \vee \neg q \vee \neg r)$%?

задан 13 Окт '19 18:50

1

Все три функции сохраняют 1, то есть на наборе из единиц равны 1. Если КНФ содержит указанный член, то на наборе p=q=r=1 функция равна нулю -- противоречие.

(13 Окт '19 20:06) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×66
×32
×5

задан
13 Окт '19 18:50

показан
136 раз

обновлен
13 Окт '19 20:06

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru