3. Общезначимость и выполнимость формул. Предваренная нормальная форма (п.Н.Ф. Предваренная нормальная форма пример