Für diejenigen, die sich für die Gleichung interessieren, hier die eine Information:
Bei der Gleichung handelt es sich um eine logische Verknüpfung.
Lies: "Q1 ist E2 nicht oder E1 nicht, und E3 oder E4 nicht".
Das ist nicht !! identisch mit der mathematischen Lesart.
Gruß von hightech