Klassenkalkül in Logik umformen?

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