| ... |
... |
@@ -74,7 +74,7 @@ |
| 74 |
74 |
:: {{code language="none"}}c1 or c2 or not c3{{/code}} |
| 75 |
75 |
:: |
| 76 |
76 |
:; false, true |
| 77 |
|
-:: Diese beiden Konstanten stellen die logischen Werte //false// und //true/ dar. |
|
77 |
+:: Diese beiden Konstanten stellen die logischen Werte //false// und //true// dar. |
| 78 |
78 |
:; xor, nand, nor, implies, impliedby, equiv und unequiv |
| 79 |
79 |
:: Repräsentiert, in dieser Reihenfolge, die logischen Operatoren [[Kontravalenz>>url:https://de.wikipedia.org/wiki/Kontravalenz]], [[Alternative Verneinung>>url:https://de.wikipedia.org/wiki/NAND-Gatter]], [[Gemeinsame Verneinung>>url:https://de.wikipedia.org/wiki/NOR-Gatter]], [[Materiale Implikation>>url:https://de.wikipedia.org/wiki/Implikation]], [[Gegenläufige Implikation>>url:https://en.wikipedia.org/wiki/Converse_(logic)]], [[Materiale Äquivalenz>>url:https://de.wikipedia.org/wiki/Bikonditional]] und Nicht-Äquivalenz. |
| 80 |
80 |
|
