Вопросы

Виктор Бондарь
Унификация дизъюнктов содержащие в себе оба контрарных атома

После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?

Сергей Петченко
Алина Батура
Алина Батура 26 октября 2016 в 10:52

Литерал (англ. literal ) — запись в исходном коде компьютерной программы, представляющая собой фиксированное значение. Литералами также называют представление значения некоторого типа данных.
с++ Литерал – это последовательность знаков, заключенная в двойные кавычки:

"Это строка"
"0123456789"
"*"

Сергей Пантелеев
Сергей Пантелеев
Россия, Москва
Денис Комаров
Денис Комаров
Россия, Москва