Изменения

Перейти к: навигация, поиск

КНФ

Нет изменений в размере, 06:33, 2 июня 2014
Алгоритм построения СКНФ по таблице истинности: исправление опечатки
== Алгоритм построения СКНФ по таблице истинности ==
# В таблице истинности отмечаем те наборы переменных, на которых значение функции равно 0.
# Для каждого отмеченного набора записываем конъюнкцию дизъюнкцию всех переменных по следующему правилу: если значение некоторой переменной есть 0, то в дизъюнкцию включаем саму переменную, иначе ее отрицание.
# Все полученные дизъюнкции связываем операциями конъюнкции.
Анонимный участник

Навигация