Алгоритм получения ДНФ (дизъюнктивная нормальная форма)

Кто может напомнить или дать ссылку?Просто конспект какой-то на втором курсе был, но он дома, а я на работе...Кстати, до чего дошёл - сначала тут спрашиваю, потом только в Google лезу :)