Нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов.