Привести к пренексной нормальной форме формулу. Желаемая степень подробности решения - как в примере 9.6. Не стоит за один шаг делать сразу несколько преобразований, лучше придерживаться принципа "один шаг - одно преобразование". Могу добавить материал с лекций (его не много). Срок выполнения могу изменить.
Присоединяюсь ко всем положительным отзывам. Видно, что автор работает профессионально! Автор очень с работой - выполнил раньше срока! И назначенная цена за работу была совсем не высокая. Огромное спасибо, буду рад с вами работать в дальнейшем