| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Центр помощи > [Алгоритм]преобразование к приведенной КНФ |
| Автор: nTuLLa 19.11.2009, 18:39 |
| ребята помогите пожалуйста. нужно преобразовать к приведенной КНФ ((-p&-q)→((-p&q) | s))&(-s→-p) "-" логическое отрицание, НЕ. "→" импликация, логическое следование. "|" логическое сложение, ИЛИ. "&" логическое умножение, И. ВОТ.. |