Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
15 Янв '14 19:08
показан
406 раз
обновлен
15 Янв '14 19:17
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Если таблица истинности построена, то процедура нахождения СКНФ проста. Берёте те строки, где получилось значение 0. Далее составляете по каждой строке элементарную дизъюнкцию. Там, где переменная принимает значение 0, она берётся без отрицания, а там, где 1 -- с отрицанием. Например, если в строке 0 0 1 значение выражения равно 0, то ей соответствует $%x\vee y\vee\bar{z}$%. Все построенные таким образом дизъюнкции в конце перемножаются (то есть соединяются знаками конъюнкции).