Use laws of logical equivalence (not truth tables) to prove that the following sentences
are logically equivalent.

(A & ~B) & ~C
A&~ (BVC)