From WikiChip
Difference between revisions of "Template:l"
Line 1: | Line 1: | ||
<includeonly>{{#switch: {{{1}}} | <includeonly>{{#switch: {{{1}}} | ||
− | | not | + | | not = ¬{{{2}}} |
− | | onot = <span style="text-decoration:overline">{{{2}}}</span> | + | | onot = <span style="text-decoration:overline">{{{2}}}</span> |
− | | and | + | | and = {{{2}}} · {{{3}}} |
− | | land = {{{2}} ∧ {{{3}} | + | | land = {{{2}} ∧ {{{3}} |
− | | or | + | | or = {{{2}}} + {{{3}}} |
− | | lor | + | | lor = {{{2}}} ∨ {{{3}}} |
− | | xor = {{{2}}} | + | | xor = {{{2}}} ⊕ {{{3}}} |
+ | | left = {{{2}}} ← {{{3}}} | ||
+ | | right = {{{2}}} → {{{3}}} | ||
}}</includeonly><noinclude>{{documentation}} | }}</includeonly><noinclude>{{documentation}} | ||
</noinclude> | </noinclude> |
Revision as of 01: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