Definingato be "we are all happy" does not help determine ifa∧ ¬ais a contradiction. As "we are all happy" can be either true or false, so cana.

You need to build truth tables for each of these formulas. Tautologies are those formulas that only have True in the final column, contradictions only have False, and contingent propositions have True in some rows and False in others.