Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше
Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике
ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (ДНФ)
- форма высказывания, имеющая вид дизъюнкции конъюнкций, при этом каждый член конъюнкции представляет собой элементарное высказывание или его отрицание. ДНФ двойственна к конъюнктивной нормальной форме. Та или иная ф-ла алгебры логики приводится к ДНФ на основе преобразований, определяемых равносильностями алгебры логики. С помощью ДНФ можно установить, является ли та или иная ф-ла всегда ложной.
Если каждый член дизъюнкции является всегда ложным, то и вся дизъюнкция является ложной. Для выяснения же, является ли каждый член дизъюнкции всегда ложным или нет, достаточно посмотреть, встречается ли в каждой конъюнкции элементарное высказывание и его отрицание. Если да, то конъюнкция будет всегда ложной.
