Logic-Abfrage

[Gunnar Bittersmann]

@@Tom:

nuqneH

Logische Größe 1:   1 0 0 0 0 1 0 1    (Forderung)
Logische Größe 2:   1 0 0 0 0 1 1 1    (Leistung)
                    ---------------
Ich benötige jetzt die Aussage, dass in (2) mindestens die Bits gesetzt sind, die in (1) gesetzt (gefordert) wurden.

Wie kommt man drauf?

Du willst prüfen, ob (bitweise) gilt: wenn F, dann L.

F ⇒ L ist gleichbedeutend mit ¬F ∨ L. (Für E-Techniker und ITler: (NOT F) OR L.) Das ist das, was JürgenB sagte.

Die Negation davon ist nach de Morgan ¬(¬F ∨ L) = F ∧ ¬L, wie Der Martin sagte. (Für E-Techniker und ITler: F AND (NOT L).)

Qapla'