Методы доказательства клаузы: с помощью резолюций и таблиц истинности. Определение ложности и истинности клаузы. Особенности составления легенды по клаузе. Составление клаузы по легенде. Определение истинности логического выражения путем конкретизации.
14.06.2009 |
Математическая логия и теория алгоритмов |
Математика |
Язык: русский |
Просмотры: 57
