... |
... |
@@ -55,24 +55,30 @@ |
55 |
55 |
: Für komplizierte Fälle ermöglicht diese Option die Eingabe von beliebigen logischen Verknüpfungen der konfigurierten Bedingungen. Die zu verwendenden Bedingungen müssen wie folgt eingegefügt werden: |
56 |
56 |
:; cN |
57 |
57 |
:: Eine Bedingung, zum Beispiel {{code language="none"}}c1{{/code}} oder {{code language="none"}}c3{{/code}}. Die Namen der Bedingungen stehen jeweils in der Überschrift der Bedingung. Zur besseren Übersicht können die Namen der Bedingungen auch durch Klick geändert werden. |
58 |
|
-:: |
59 |
|
-: Zur logischen Verknüfung der Bedingungen können neben Klammern die folgenden Operatoren verwendet werden: |
|
58 |
+:: |
|
59 |
+: Zur logischen Verknüfung der Bedingungen können neben Klammern die folgenden Operatoren und Konstanten verwendet werden: |
60 |
60 |
:; not |
61 |
61 |
:: Negation, welche dem zu negierenden Wert vorangestellt werden muss. Zum Beispiel: |
62 |
62 |
:: {{code language="none"}}c1 and not c2{{/code}} |
63 |
|
-:: |
|
63 |
+:: |
64 |
64 |
:: {{code language="none"}}c1 or not (c2 and c3){{/code}} |
65 |
65 |
:; and |
66 |
66 |
:: UND-Verknüpfung, welche wahr ist, wenn beide verknüpfte Werte wahr sind. Zum Beispiel: |
67 |
67 |
:: {{code language="none"}}c1 and c2{{/code}} |
68 |
|
-:: |
|
68 |
+:: |
69 |
69 |
:: {{code language="none"}}c1 and not c2 and c3{{/code}} |
70 |
70 |
:; or |
71 |
71 |
:: ODER-Verknüpfung, welche wahr ist, einer der beiden verknüpften Werte wahr ist. Zum Beispiel: |
72 |
72 |
:: {{code language="none"}}c1 or c2{{/code}} |
73 |
|
-:: |
|
73 |
+:: |
74 |
74 |
:: {{code language="none"}}c1 or c2 or not c3{{/code}} |
75 |
|
-:: |
76 |
|
-: 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: |
77 |
|
-: {{code language="none"}}(c1 and not c2) or (c2 and (c3 or c4)){{/code}} |
|
75 |
+:: |
|
76 |
+:; //false// und //true// |
|
77 |
+:: Diese beiden Konstanten stellen die logischen Werte //false// und //true/ dar. |
|
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:https://en.wikipedia.org/wiki/Converse_(logic)]], [[Materiale Äquivalenz>>url:https://de.wikipedia.org/wiki/Bikonditional]] und Nicht-Äquivalenz. |
78 |
78 |
|
|
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 |
+ |
|
83 |
+{{code language="none"}}(c1 and not c2) or (c2 and (c3 or c4)){{/code}} |
|
84 |
+ |