пользователей: 21276
предметов: 10469
вопросов: 178036
Конспект-online
зарегистрируйся или войди через vk.com чтобы оставить конспект.
РЕГИСТРАЦИЯ ЭКСКУРСИЯ


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

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

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

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

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

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

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

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

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

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


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