Question

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

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

Answer 1

Ответ:

2 5

Объяснение:

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