This is just like computer science!

Operators

(~) Negation operator

(&) (And) Conjunct operator

(v) Disjunct operator

(->) (if then) Conditional operator

(<->) (if and only if) Biconditional operator