Верно ли утверждение, что каждая формула алгебры логики может быть приведена и в дизъюнктивную, и в конъюнктивную нормальные формы