Алгебра логики: как привести формулу к дизъюнктивной нормальной форме