Template:Logical connectives

Template documentation[create]

Editors can experiment in this template's sandbox and testcases pages.
Please add categories to the /doc subpage. Subpages of this template.

v t e Logical connectives
Tautology/True [math]\displaystyle{ \top }[/math]
Alternative denial (NAND gate) [math]\displaystyle{ \uparrow }[/math] Converse implication [math]\displaystyle{ \leftarrow }[/math] Implication (IMPLY gate) [math]\displaystyle{ \rightarrow }[/math] Disjunction (OR gate) [math]\displaystyle{ \or }[/math]
Negation (NOT gate) [math]\displaystyle{ \neg }[/math] Exclusive or (XOR gate) [math]\displaystyle{ \not\leftrightarrow }[/math] Biconditional (XNOR gate) [math]\displaystyle{ \leftrightarrow }[/math] Statement
Joint denial (NOR gate) [math]\displaystyle{ \downarrow }[/math] Nonimplication (NIMPLY gate) [math]\displaystyle{ \nrightarrow }[/math] Converse nonimplication [math]\displaystyle{ \nleftarrow }[/math] Conjunction (AND gate) [math]\displaystyle{ \and }[/math]
Contradiction/False [math]\displaystyle{ \bot }[/math]

Anonymous