Logical Equivalence with out using truth table examples or equivalent formulas examples