Convert A*(BvC) to tautology,commutation,distribution,contrapositive,biconditional,double negation,association,Demorgan's Law, implication,exportation