К отрицаниям неэлементарных формул применяется правило де Моргана; используются законы двойного отрицания и склеивания.