Klauseln.

Die Klauseln bestehen aus drei Literalen, die durch so genannte Klauselzusammenführungen repräsentiert werden. Abbildung A.5 zeigt das Teilpolygon für eine Klausel. Literale werden so zu Klauseln vereinigt, dass mindestens ein Wachposten in einer $t_i$-Ecke $i \in \{1,2,3\}$ steht. Die korrespondierende Klausel ist dann erfüllt. In diesem Fall wird der markierte Bereich eingesehen.

Abbildung: Eine Klauselzusammenführung. Der markierte Bereich kann nur von $t_i \ i=1,2,3$ eingesehen werden.