Какие из приведенных ниже формул находятся в конъюнктивной нормальной форме?

Варианты ответа:
1. (R→F)^(¬P↔¬H)^(¬H→P)^(F→H)
2. ¬F^R^Q^H
3. ¬P^K^F
4. (¬H↔F)^(¬Q↔H)^(H→¬F)
5. (H↔¬F)
6. (¬R↔¬F)^(¬P→¬H)

В конъюнктивной нормальной форме формула является конъюнкцией, то есть соединением через «и», простых частей — литералов или дизъюнкций литералов.

Из данных вариантов КНФ уже имеют:

• 2. \(\neg F \land R \land Q \land H\)
• 3. \(\neg P \land K \land F\)

Остальные варианты содержат импликацию \(\to\) или эквивалентность \(\leftrightarrow\), поэтому в таком виде они не являются КНФ.

Ответ: 2, 3.

0 0 Пожаловаться