Difference between revisions of "Template:Logical connectives"
Jump to navigation
Jump to search
Template documentation
imported>Officer781 (add IMPLY gate) |
imported>Officer781 (restored o plus symbol for exclusive or) |
||
| Line 17: | Line 17: | ||
|list3 = | |list3 = | ||
* [[Negation]] ([[Inverter (logic gate)|NOT gate]]) <math>\neg</math> | * [[Negation]] ([[Inverter (logic gate)|NOT gate]]) <math>\neg</math> | ||
| − | * [[Exclusive or]] ([[XOR gate]]) <math>\ | + | * [[Exclusive or]] ([[XOR gate]]) <math>\oplus</math> |
| − | * [[Logical biconditional|Biconditional]] ([[XNOR gate]]) <math>\leftrightarrow</math> | + | * [[Logical biconditional|Biconditional]] ([[XNOR gate]]) <math>\leftrightarrow</math> |
* [[Statement (logic)|Statement]] | * [[Statement (logic)|Statement]] | ||
Revision as of 13:11, 27 May 2018
See also
| The above documentation is transcluded from Template:Logical connectives/doc. (edit | history) Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |