„p ∙ q ⌵ ~q” sagt dasselbe wie „p ∙ r ⌵ ~r” – was immer q und r besagen mag –: Alle Tautologien besagen dasselbe. (Nämlich nichts.) [Die beiden Beispiele sind untereinander zu schreiben.]