Das sind einmal:

<--> Äquivalenz
<-/-> Antivalenz

Danke für deine Hilfe

Die ersten beiden kann mann sich auch "wörtlich" merken:

Ein eingangsnegiertes UND ist ein ausgangsnegiertes ODER.
Ein eingangsnegiertes ODER ist ein ausgangsnegiertes UND.

Das gilt für beliebige Anzahl von Eingängen. (Egal ob 1 Eingang oder 375)

GRuß Topf_Gun

Edit:

<--> Äquivalenz
<-/-> Antivalenz

IMHO:
a<-->b = not(a)<-->not(b) denn es ist egal ob ich zwei Werte oder ihre Negation vergleiche

ebenso
a<-|->b = not(a)<-|->not(b) denn es ist egal ob ich zwei Werte oder ihre Negation vergleiche

a<-->b = not(a<-|->b) definition Antivalenz


a<-->b = not (a xor b)
a<-|->b = a xor b
(ich mag das xor mehr als das <-->, für xoer kann mann auch schreiben not((a UND b) ODER (not (a) UND not(b))) )



[ Diese Nachricht wurde geändert von: Topf_Gun am  9 Aug 2006 23:43 ]