скнф это
Автор Данил Орлов задал вопрос в разделе ВУЗы, Колледжи
Таблицы истинности СКНФ и СДНФ и получил лучший ответ
Ответ от Михаил Портнов[гуру]
Для того, чтобы найти СКНФ и СДНФ, построим таблицу истинности данной функции. (рис. 1)
1) Для нахождения СКНФ нужно из таблицы истинности выделить лишь те строки, результат которых равен 0. Для данной функции набор строк будет следующим (рис 2)
Далее, для каждой строки выписываем дизъюнкцию всех переменных по следующему алгоритму: если значение переменной в данной строке равно 0, то в дизъюнкцию записываем саму переменную, а если равно 1, то - отрицание этой переменной. После этого все дизъюнкции связываем в конъюнкцию.
В результате, совершенная конъюнктивно-нормальная форма (СКНФ) нашей функции равна (рис 3)
2) Для нахождения СДНФ нужно из таблицы истинности выделить лишь те строки, результат которых равен 1. Для данной функции набор строк будет следующим (рис 4)
Далее, для каждой строки выписываем конъюнкцию всех переменных по следующему алгоритму: если значение переменной в данной строке равно 1, то в конъюнкцию записываем саму переменную, а если равно 0, то - отрицание этой переменной. После этого все конъюнкции связываем в дизъюнкцию.
В результате, совершенная дизъюнктивно-нормальная форма (СДНФ) нашей функции равна (рис 5)
Найти существенные и фиктивные переменные в булевой функции
Ваша функция имеет вид: (это СКНФ )
(u v x v y v z)(u v! x v y v! z)(!u v x v! y v! z)(!u v! x
подробнее...
СДНФ и ДНФ. СКНФ и КНФ. В чём разница вообще?
ДНФ - дизъюнктивная нормальная форма, КНФ - конъюнктивная нормальная форма. Приставка С обозначает
подробнее...