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 ⊕ Τ