Семинар 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$

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