logical equivalence without truth tables