Difference between revisions of "Template:Logical connectives"

From blackwiki
Jump to navigation Jump to search
imported>Officer781
(add IMPLY gate)
imported>Officer781
(restored o plus symbol for exclusive or)
Line 17: Line 17:
 
|list3 =
 
|list3 =
 
* [[Negation]]&nbsp;([[Inverter (logic gate)|NOT gate]])&nbsp;<math>\neg</math>
 
* [[Negation]]&nbsp;([[Inverter (logic gate)|NOT gate]])&nbsp;<math>\neg</math>
* [[Exclusive or]]&nbsp;([[XOR gate]])&nbsp;<math>\nleftrightarrow</math>  
+
* [[Exclusive or]]&nbsp;([[XOR gate]])&nbsp;<math>\oplus</math>
* [[Logical biconditional|Biconditional]]&nbsp;([[XNOR gate]])&nbsp;<math>\leftrightarrow</math>  
+
* [[Logical biconditional|Biconditional]]&nbsp;([[XNOR gate]])&nbsp;<math>\leftrightarrow</math>
 
* [[Statement (logic)|Statement]]
 
* [[Statement (logic)|Statement]]
  

Revision as of 13:11, 27 May 2018