. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?| Россия |
Инспектор
Вы можете этот курс.
Вопросы
Виктор Бондарь | Репутация: 0 (Без голоса)
21 марта 2020 в 14:34
| Унификация дизъюнктов содержащие в себе оба контрарных атома После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Ольга Потапенко | Репутация: 100 (Кандидат)
24 октября 2017 в 21:22
Сергей Петченко | Репутация: 0 (Без голоса)
21 сентября 2016 в 09:41
Литерал (англ. literal ) — запись в исходном коде компьютерной программы, представляющая собой фиксированное значение. Литералами также называют представление значения некоторого типа данных.
с++ Литерал – это последовательность знаков, заключенная в двойные кавычки:
"Это строка"
"0123456789"
"*"