Similar to the example in slide $27$ in the lecture on NP$,$ for the following

expression,

$($x$+$y$($line overtop$)+$z$)*($x$($line overtop$)+$y$+$z$($line overtop$))*($x$($line overtop$)+$y$+$z$)*($x$+$y$($line overtop$)+$z$($line overtop$))$t

a$)$ Draw the graph that results from the reduction of $3-$SAT to CLIQUE

b$)$ State if the expression satisfiable, and if yes, give the truth assignment, and

mark out the clique correspondingly.

Note that $+$ stands for logical OR$,$ stands for logical AND, and overbar stands

for logical NOT