(¬X1 ⊃ X2)∼(X2 ∼ X3) .
При использовании формул получается нечто огромное и страшное...
Помогите, пожалуйста, если не сложно.
| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Алгоритмы > Привести к ДНФ и КНФ |
| Автор: FataMorgana 12.12.2010, 17:20 |
| Готова уже убиться с этим заданием. Нужно, используя формулы, привести к ДНФ и КНФ вот это выражение: (¬X1 ⊃ X2)∼(X2 ∼ X3) . При использовании формул получается нечто огромное и страшное... Помогите, пожалуйста, если не сложно. |
| Автор: NumLock 21.12.2010, 09:23 |
| Давайте определимся с терминами. ⊃ - это импликация (если ... то ...)? ∼ - это конъюнкция (и)? ¬ - это отрицание (не)? Если да, то выражение приводится к КНФ очень просто: (X1 ⊃ X2) = (¬X1 v X2) => (¬X1 ⊃ X2) = (X1 v X2). КНФ для всей формулы, в данном случае, выглядит так: (X1 v X2) ∼ X2 ∼ X3. Здесь v - это дизъюнкция. (или) |