Question

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

Варианты ответа:
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)

Answer 1

Ответ:

2 3

Объяснение:

Определение: Конъюнктивная нормальная форма, КНФ — нормальная форма, в которой булева функция имеет вид конъюнкции нескольких простых дизъюнктов.