Consider the formula

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

$($a$)$ Complete the truth table below, writing the capital letters T or F in the given spaces.

$($Remember that in our course we use T$/$F to denote the truth values, so don't enter other forms such as $1/0,$ true$/$false$,\frac{t}{f},$ etc.$)$

$\backslash$table$[[$p$,$q$,($notp$^^$q$)->$notq$],[$F$,$F$,],[$F$,$T$,],[$T$,$F$,],[$T$,$T$,]]$

$($b$)$ Is the formula valid, satisfiable $($but not valid$),$ or unsatisfiable $($write down in the given space valid, satisfiable, or unsatisfiable$)?$