From WikiChip
Difference between revisions of "Template:l"

(Created page with "<includeonly>{{#switch: {{{1}}} | not = ¬{{{2}}} | onot = <span style="text-decoration:overline">{{{2}}}</span> | and = {{{2}}} · {{{3}}} | land = {{{2}} ∧ {{{3}} |...")
 
 
(4 intermediate revisions by 2 users not shown)
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}}}
+
| land2  = {{{2}}} & {{{3}}}
  | lor  = {{{2}}} {{{3}}}
+
  | or     = {{{2}}} + {{{3}}}
  | xor  = {{{2}}} {{{3}}}
+
  | lor   = {{{2}}} ∨ {{{3}}}
}}</includeonly><includeonly>{{documentation}}
+
  | lor2  = {{{2}}} {{{3}}}
</includeonly>
+
  | xor   = {{{2}}} ⊕ {{{3}}}
 +
| left  = {{{2}}} ← {{{3}}}
 +
| right  = {{{2}}} → {{{3}}}
 +
  | eq    = {{{2}}} = {{{3}}}
 +
| neq    = {{{2}}} ≠ {{{3}}}
 +
}}</includeonly><noinclude>{{documentation}}
 +
</noinclude>

Latest revision as of 18: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