From WikiChip
Difference between revisions of "Template:l"

 
(2 intermediate revisions by one other user not shown)
Line 3: Line 3:
 
  | onot  = <span style="text-decoration:overline">{{{2}}}</span>
 
  | onot  = <span style="text-decoration:overline">{{{2}}}</span>
 
  | and    = {{{2}}} · {{{3}}}
 
  | and    = {{{2}}} · {{{3}}}
  | land  = {{{2}} ∧ {{{3}}
+
  | land  = {{{2}}} ∧ {{{3}}}
 +
| land2  = {{{2}}} & {{{3}}}
 
  | or    = {{{2}}} + {{{3}}}
 
  | or    = {{{2}}} + {{{3}}}
 
  | lor    = {{{2}}} ∨ {{{3}}}
 
  | lor    = {{{2}}} ∨ {{{3}}}
 +
| lor2  = {{{2}}} ∥ {{{3}}}
 
  | xor    = {{{2}}} ⊕ {{{3}}}
 
  | xor    = {{{2}}} ⊕ {{{3}}}
 
  | left  = {{{2}}} ← {{{3}}}
 
  | left  = {{{2}}} ← {{{3}}}
 
  | right  = {{{2}}} → {{{3}}}
 
  | right  = {{{2}}} → {{{3}}}
 +
| eq    = {{{2}}} = {{{3}}}
 +
| neq    = {{{2}}} ≠ {{{3}}}
 
}}</includeonly><noinclude>{{documentation}}
 
}}</includeonly><noinclude>{{documentation}}
 
</noinclude>
 
</noinclude>

Latest revision as of 17:59, 27 June 2017

Template documentation


Adds logic symbols

Usage[edit]

Syntax: 
{{l|type|op1|op2}}
Where type can be: not, onot, and, land, land2, or, lor, lor2, xor, eq, neq. For example
{{l|and|{{l|onot|A}}|B}}
will result in "A · B"
  • {{l|not|A}} => ¬A
  • {{l|onot|A}} => A
  • {{l|and|A|B}} => A · B
  • {{l|land|A|B}} => A ∧ B
  • {{l|land2|A|B}} => A & B
  • {{l|or|A|B}} => A + B
  • {{l|lor|A|B}} => A ∨ B
  • {{l|lor2|A|B}} => A ∥ B
  • {{l|xor|A|B}} => A ⊕ B
  • {{l|eq|A|B}} => A = B
  • {{l|neq|A|B}} => A ≠ B