Klassenkalkül in Logik umformen?

[Larsen (Gast)]

Hallo ,

ich möchte mich schon mal auf mein E-Technik Studium vorbereiten und 
beschäftige mich gerade mit Logik und Klassenkalkülen.

Ich möchte gerne Klassenkalküle in Logik umformen
Dafür habe ich mir eine Tabelle angelegt

"vereinigt" wird zu "v" (oder)
"schneidet" wird zu "&" (und)
"Teilmenge" wird zu "->"
"gleich" wird zu "<->"
etc...

Jetzt weiß ich aber noch nicht, wie man mit einer subtraktion umgeht.

also z. B. (a-b) oder umgangsprachlich "a ohne b". Wie kann ich das in 
Logik umformen?



Ich bedanke mich :) !

[Karl H. (kbuchegg)]

Larsen schrieb:
> Hallo ,
>
> ich möchte mich schon mal auf mein E-Technik Studium vorbereiten und
> beschäftige mich gerade mit Logik und Klassenkalkülen.
>
> Ich möchte gerne Klassenkalküle in Logik umformen
> Dafür habe ich mir eine Tabelle angelegt
>
> "vereinigt" wird zu "v" (oder)
> "schneidet" wird zu "&" (und)
> "Teilmenge" wird zu "->"
> "gleich" wird zu "<->"
> etc...
>
> Jetzt weiß ich aber noch nicht, wie man mit einer subtraktion umgeht.
>
> also z. B. (a-b) oder umgangsprachlich "a ohne b". Wie kann ich das in
> Logik umformen?


   a
   +--------------+
   |              |        b
   |          +---+---------+
   |          |   .         |
   |  ^       |   .         |
   +--|-------|....         |
      |       |             |
      |       +-------------+
      |
      |
   Das hier sind alle Elemente die in "a ohne b" sind.

Das sind also alle Elemente die in a sind UND nicht in b

d.h. was dir fehlt ist eigentlich die NICHT Operation, den Rest hast du 
schon.

   a - b   :=      a & !b