Prove a sequent by usings its Truth Table. Reduce an expression into its CNF