Logické spojky

Výčet všech používaných spojek:

• AND - $\wedge$
• OR - $\vee$
• NOT - $\neg$
• IF THEN - $\Rightarrow$
• IF AND ONLY IF (IFF) - $\iff$
• NAND - $|$
• NOR - $\downarrow$
• XOR - $\oplus$
• TRUE - $tt$
• FALSE - $ff$
• ifte