Let K be the class of all reflexive, transitive Kripke frames $($W$,<=).$ For each modal

formula below, use a tableau to determine whether the formula is valid over K$.$ If it

is not valid, use your tableau to sketch a Kripke structure where the formula fails.

$1.$p $(($p $->$q$)($q $->$p$)).$

$2.($p $($p $->$q$)($q $->$p$)).$

$3.($p $($p $->($p $$q$))).$