пользователей: 26613
предметов: 11610
вопросов: 211984
Конспект-online
РЕГИСТРАЦИЯ ЭКСКУРСИЯ


Способы представления формул в алгебре логики. Дизъюнкт, конъюнкт. КНФ и ДНФ. СКНФ и СДНФ.

Способы представления формул в алгебре логики: 

1) конъюнктивная нормальная форма (КНФ) - конъюнкция конечного числа дизъюнктов

2) ДНФ - дизъюнкция конечного числа конъюнктов

дизъюнкт - дизъюнкция нескольких переменных и/или их отрицание

конъюнкт - конъюнкия нескольких переменных и  их отрицание

СКНФ (соверш.конъюнкт.норм.форма) - отношение переменных х1, х2, ...хn - это КНФ, в которой: каждый дизъюнкт содержит n переменных причем на i месте в нем содержится xi или отрицание xi; все дизъюнкты попарно различны

СДНФ (совершенная дизъюнкт.норм.форма) - отношение переменных х1, х2, ..xn - такая ДНФ, в которой: каждый конъюнкт содержит n переменных из них на i месте xi и отрицание xi; все конъюнкты попарно различные

пример: СДНФ формула: (дописать!!)

СКНФ формула: 


08.06.2014; 13:27
хиты: 154
рейтинг:0
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2017. All Rights Reserved. помощь