Construct a truth table for the compound propositions$(3$ marks$)$

$((pq{)}^{{?}^{?}}$notp$)$notq

Determine whether each of the following form is a tautology, Satisfiable, Unsatisfiable or a contradiction or contingency using truth table method. $(5$ marks @$3$ marks for truth table and $2$ marks for conclusion$)$

a$)p^{{?}^{?}}(qvvnotp)(5$ Marks$)$

b$)(pLongrightarrowq{)}^{{?}^{?}}(notpvvq)(5$ Marks$)$