Connectives

not

and

and-or

or

implication

equivalence