CSC$737-$ Artificial Intelligence $($Part $1)$

Exercises $-$ Propositional Logic

Questions

Consider the language $L$ generated from the set of atoms $P=\{p,q\}.$ For each of the following formulas $,$ write down its set of models Mod$().$

$($a$)$ pvvnotp

$($b$)pvvq$

$($c$)$ pvvnotq

$($d$)$ notpvvq

$($e$)$ notpvvnotq

$($f$)p$

$($g$)q$

$($h$)$ pharrq

$($i$)$ not$(pharrq)$

$($j$)$ notq

$($k$)$ notp

$($l$)p^{{?}^{?}}q$

$($m$)p^{{?}^{?}}$notq

$($n$)not{p}^{{?}^{?}}q$

$($o$)not{p}^{{?}^{?}}$notq

$($p$)p^{{?}^{?}}$notp

Consider again the language $L$ generated from the set of atoms $P=\{p,g\}.$

Please show all steps $,$ using truth tables or tree$($show how you got to t the answer$)$