恒真式 ( ⊤ {\displaystyle \top } )
NAND ( ↑ {\displaystyle \uparrow } )
否定 ( ¬ {\displaystyle \neg } )
NOR ( ↓ {\displaystyle \downarrow } )
矛盾 ( ⊥ {\displaystyle \bot } )