... |
... |
@@ -76,7 +76,7 @@ |
76 |
76 |
:; //false// und //true// |
77 |
77 |
:: Diese beiden Konstanten stellen die logischen Werte //false// und //true/ dar. |
78 |
78 |
:; //xor//, //nand//, //nor//, //implies//, //impliedby//, //equiv// und //unequiv// |
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 Denial>>url:https://de.wikipedia.org/wiki/NOR-Gatter]], [[Materiale Implikation>>url:https://de.wikipedia.org/wiki/Implikation]], [[Gegenläufige Implikation>>url:]], [[Materiale Äquivalenz>>url:https://de.wikipedia.org/wiki/Logische_%C3%84quivalenz]] und [[Nicht-Äquivalenz>>url:]]. |
|
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 Denial>>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 |
|
81 |
81 |
Die Auswertung der Bedingungen erfolgt standardmäßig von links nach rechts. Durch die Verwendung von Klammern kann die Reihengfolge der Auswertung auch beeinflusst werden. Dies könnte wie im folgenden Beispiel aussehen: |
82 |
82 |
|