|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Опубликован: 04.05.2005 | Уровень: для всех | Доступ: платный | ВУЗ: Сибирский университет потребительской кооперации
ACM
Лекция: 1 стр. 1
arity
Лекция: 1 стр. 1
AS
Лекция: 1 стр. 1
CAR
Лекция: 7 стр. 1
center
Лекция: 1 стр. 2
compiler directive
Лекция: 5 стр. 1
computing technology
Лекция: 1 стр. 1
CONS
Лекция: 7 стр. 1
database
Лекция: 13 стр. 1
demonstration
Лекция: 1 стр. 1
development
Лекция: 1 стр. 2
division
Лекция: 8 стр. 1
DOS
Лекция: 4 стр. 2
end
Лекция: 12 стр. 1
FIB
Лекция: 4 стр. 2
function
Лекция: 2 стр. 3
generation
Лекция: 1 стр. 1
IFIP
Лекция: 1 стр. 1
international
Лекция: 1 стр. 2
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?
