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