Dies ist ähnlich wie bei SAT, außer dass wir die Zuordnung jeder Variablen kennen, aber die Zuweisung eines booleschen Operators nicht kennen. Ist es in diesem Fall ein NPC-Problem, die Zuordnung jedes Operators so zu finden, dass der Ausdruck einen bestimmten booleschen Wert ergibt? Eigentlich...