Найдите сднф для высказывания
Обновлено: 21.11.2024
Как известно, все существующие логические функции обладают совершенной дизъюнктивной нормальной формой, а также совершенной конъюнктивной нормальной формой. Обозначаются они аббревиатурами СДНФ и СКНФ соответственно. Рассмотрим принципы их построения с использованием таблицы истинности, устанавливающей соответствие всех возможных вариаций логических переменных.
Основные правила при построении СДНФ
СДНФ является дизъюнкцией конституента единицы, соответствующей входящей совокупности логических переменных, при которых функция достигает показателя «1». Она удовлетворяет 3 условия:
- Включает разные элементарные конъюнкции.
- Конъюнкции включают разные переменные.
- Все из элементарных конъюнкций включают в одной и той же последовательности все имеющиеся логические переменные этой ДНФ.
Привести к СДНФ можно всякую булеву формулу за исключением той, что не выступает тождественно ложной. Получению СДНФ предшествует создание таблицы истинности. Чтобы построить СДНФ следует записать произведение для каждой совокупности присутствующих переменных. Важно учесть, что логические переменные со значением «0» нужно брать с отрицанием.
Реклама РекламаПринципы построения СКНФ
СКНФ является конъюнкцией конституента нуля, соответствующих входящих логических переменных, при которых функция достигает «0». Она удовлетворяет 3 условия:
- Включает разные элементарные дизъюнкции.
- Дизъюнкции включают разные переменные.
- Все из элементарных дизъюнкций включают каждую логическую переменную данной КНФ.
К такой форме возможно привести булеву формулу, за исключением той, которая не выступает тождественно истинной.
Чтобы получить СКНФ функции необходимо сначала построить таблицу истинности. При построении СКНФ по таблице следует записать сумму для каждого набора логических переменных. Обратите внимание, что переменные, имеющие значение «1» нужно брать с отрицанием.
Читайте также: