Question $2$

Determine whether the following formulas are tautologies, contingencies, or contradictions in $($classical propositional

logic$)$ System $P.$

$-$Avv$(BsupA)$

$(AVB)(A$&$B)$

$(A$&$B)sup(-AVB)$