... |
... |
@@ -75,7 +75,7 @@ |
75 |
75 |
:: |
76 |
76 |
:; false, true |
77 |
77 |
:: These two constants represent the logical values //false// and //true//. |
78 |
|
-:; xor, nand, nor, implies, impliedby, equiv und unequiv |
|
78 |
+:; xor, nand, nor, implies, impliedby, equiv, unequiv |
79 |
79 |
:: Represents, in this order, the logical operators [[Exclusive or>>url:https://en.wikipedia.org/wiki/Exclusive_or]], [[Alternative negation>>url:https://en.wikipedia.org/wiki/NAND_gate]], [[Joint negation>>url:https://en.wikipedia.org/wiki/NOR_gate]], [[Logical consequence>>url:https://en.wikipedia.org/wiki/Logical_consequence]], [[Converse>>url:https://en.wikipedia.org/wiki/Converse_(logic)]], [[Material biconditional>>url:https://en.wikipedia.org/wiki/Logical_biconditional]] and non-equivalence. |
80 |
80 |
|
81 |
81 |
The evaluation of the conditions takes place by default from left to right. By using parentheses, the order of evaluation can also be influenced. This could look like the following example: |