4 Boolsche Variablen prüfen

Hängt etwas davon ab, wo die Werte herkommen. Wenn du weißt, das die 
Variablen nur 0 oder 1 sind, könntest du die einfach addieren und 
gucken, ob das Ergebnis größer 1 ist.

ich würd einfach mal schauen wie gut der gcc das selber optimiert.

also einfach ne lange condition zusammenbasteln, die nur dann true 
zurückliefert wenn die vorgabe passt, und dem rest dem compiler 
überlassen.
ggf mit diversen optimierungen mal ausprobieren...