Семинар 4

1. Вопросы по заданиям. Вопросы по материалу прошедших практических занятий. Иные вопросы по курсу.

2. Построить равновыполнимую КНФ, проверить её на выполнимость процедурами DP и DPLL, а также построить BDD для следующих формул:

   • \(p\lor (q \land s\land \neg p)\)
   • \((p \lor (\neg q ∧ r)) ∧ \neg s\)
   • \(\neg \neg p \to p\)
   • \(p\Leftrightarrow q\)

Все построения и проверки необходимо выполнять вручную (на бумаге).