████████████████

De ████████████████ is een ███ van ██████ die zich ██████████ met het █████████ met ███████████. ███████████ zijn ██████████ of ██████████ die █████ ████, █████ ██████ zijn. ███████████ ███████ zijn

De ███████ █████ is een ████████████

en

█████ heeft een ██████████████ op.

In de ████████████████ ██████ ██████████ ██████ ████ of ██████ zijn, dit in █████████████ tot ████████████ ██████'█ ███████ ██████████ ook ██████ ███████ ██████ ██████.

In ████████████ met ██████ █████ van ██████ is de ████████████████ █████████ van ██████ (█████████, ██████████) maar ███████ in ████████████████████████.

De ████████████████ ████ over het █████████ met ███████████. Een ██████████ is een █████████ die ████ of ██████ kan zijn. ███████████ ██████ ███████████ zijn ("██████ ███████ de ███" of "We ████ ██████ ██████████") maar ook zijn ████████████ uit ████ of meer ██████ ███████████ met ██████ van (████████) ███████████, in deze ███████ ████████████ (████ ook ██████████) ███████ ("██████ ███████ de ███ en we ████ ██████ ██████████", "Als ██████ de ███ ███████, dan ████ we ██████ ██████████.").

In de ████████████████ worden de ████████ ████████████ ████████ om ███████████ █████ te ███████:

• ███████ (██████████): ${\displaystyle \mathrm{\neg }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ of ~${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (████ als: niet ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$).
• ██████████: ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\wedge \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (████ als: ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$).
• ██████████: ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\vee \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (████ als: ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ of ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$).
• ██████████ (██████████████): ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\to \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (████ als: als ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ dan ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$).
• ████████████ (█████████████████): ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\leftrightarrow \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (████ als: ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ dan en ███████ dan als ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$).

██████ is er één ███████████████████, ███████ ██████ en █████████ met ${\displaystyle \perp }$, die █████ voor een altijd ██████ ██████████.

In de ████████████████ █████ de ████████ van █████████████ ███████████ ██████ af van het █████████ ██████████ en van de ████████ van de ██████████████ █████. Zo is ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\wedge \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ als ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ █████ ████ zijn, ███████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}\vee \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ is als ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ is, ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ is of █████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ als ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████ zijn.

████ ████████████ dat ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ voor de ████████████ ██████████ "██████ ███████ de ███" █████ en ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ voor "We ████ ██████ ██████████". Dan █████: