(¬X→¬(Y˅Z))→(X˅Z)

задан 15 Янв '14 19:08

1

Если таблица истинности построена, то процедура нахождения СКНФ проста. Берёте те строки, где получилось значение 0. Далее составляете по каждой строке элементарную дизъюнкцию. Там, где переменная принимает значение 0, она берётся без отрицания, а там, где 1 -- с отрицанием. Например, если в строке 0 0 1 значение выражения равно 0, то ей соответствует $%x\vee y\vee\bar{z}$%. Все построенные таким образом дизъюнкции в конце перемножаются (то есть соединяются знаками конъюнкции).

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

Ваш ответ

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

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

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

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

отмечен:

×1,700
×1,071

задан
15 Янв '14 19:08

показан
406 раз

обновлен
15 Янв '14 19:17

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

по почте:

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

по RSS:

Ответы

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

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