Logic Truth Tables - & "and", v "or", ⊃ "if, then", ≡ "if and only if", ~ "not"