Семинар 4

Среда, 30 сентября 2020
Онлайн, занятие в zoom

Описание

  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\)

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