Понятия нормальных форм (ДНФ,КНФ,СДНФ,СКНФ)

Определение ДНФ и КНФ:
Формула называется дизъюнктивной нормальной формой (ДНФ), если она является дизъюнкцией элементарных конъюнкций, т.е. имеет вид где каждая формула - это элементарная конъюнкция. называется совершенной ДНФ, если в каждую из ее конъюнкций входят все переменных из Аналогично, формула называется конъюнктивной нормальной формой (КНФ), если она является конъюнкцией элементарных дизъюнкций, т.е. , где каждая формула Dj (j=1,...,r) - это элементарная дизъюнкция.