Te bewijzen: pq ↔ qp

Bewijs

Zowel p en q hebben de waarde ofwel <> ofwel <<>> en we lijsten alle mogelijke combinaties nu eens in woorden in plaats van in een tabel:

Stel p ↔ <> en q ↔ <>, dan resulteert pq in <><>, en qp resulteert in <><>. Beide combinaties leveren <> op.

Stel p ↔ <<>> en q ↔ <<>>, dan resulteert pq in <<>><<>>, en qp resulteert in <<>><<>>. Beide combinaties leveren <<>> op.

Stel p ↔ <> en q ↔ <<>>, dan resulteert pq in <><<>>, en qp resulteert in <<>><>. Beide combinaties leveren <> op.

Stel p ↔ <<>> en q ↔ <>, dan resulteert pq in <<>><>, en qp resulteert in <><<>>. Beide combinaties leveren <> op.

QED