Темы занятия: функции алгебры логики, дизъюнктивная нормальная форма и конъюктивная нормальная форма

Дизъюнктивной нормальной формой (ДНФ) формулы А называется равносильная ей формула, представляющая собой дизъюнкцию элементарных конъюнкций.