Some true, some false
Contingent
x = y (or when x is not equal to y)
Always true
Tautology
All false
Contradiction
&
Conjunction
True only when both conjuncts are true
V
Disjunction
True when at least one conjunct is true
>
Conditional
False when the antecedent is true and conclusion is false
<>
or
///
Biconditional
true whenever both conditionals have the same value (t/f)
Logically equivalent
Same truth value under the same circumstances between two equations