without using truth table prove that