Korzystając z 80 wiemy, że {⇒, ⊥} jest zupełne, a nasz zbiór {⊕, Τ} jest to:
⊕ ≡ ~ ⇒
oraz
Τ ≡ ~⊥
Czyli zostaje pokazać nam, że ~ da sie przedstawić za pomocą tych spójników.
~p ≡ p ∧ ⊥ ≡ p ∧ ~ Τ ≡ p ⊕ Τ