From WikiChip
Difference between revisions of "Template:l"
(One intermediate revision 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}}} |
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