From WikiChip
Difference between revisions of "Template:l"

Line 1: Line 1:
 
<includeonly>{{#switch: {{{1}}}
 
<includeonly>{{#switch: {{{1}}}
  | not = ¬{{{2}}}
+
  | not   = ¬{{{2}}}
  | 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}}
  | or   = {{{2}}} + {{{3}}}
+
  | or     = {{{2}}} + {{{3}}}
  | lor = {{{2}}} ∨ {{{3}}}
+
  | lor   = {{{2}}} ∨ {{{3}}}
  | xor  = {{{2}}} {{{3}}}
+
  | xor   = {{{2}}} ⊕ {{{3}}}
 +
| left  = {{{2}}} ← {{{3}}}
 +
| right = {{{2}}} {{{3}}}
 
}}</includeonly><noinclude>{{documentation}}
 
}}</includeonly><noinclude>{{documentation}}
 
</noinclude>
 
</noinclude>

Revision as of 02:53, 23 January 2016

Template documentation


Adds logic symbols

Usage

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