Załóżmy, że wyrażenie zawiera spójniki tylko koniunkcji i alternatywy. Niech oznacza wyrażenie powstające z przez zastąpienie każdego symbolu koniunkcji z alternatywą i na odwrót.
Z kolei niech oznacza formułę w której każdą zmienną zastępujemy przez jej negację.
Wiem, że jeśli koniunkcję zastąpimy alternatywą i na odwrót to przy zmiennych jendakowych czyli 0 i 1 nic to nie zmieni. W drugim przypadku otrzymamy coś przeciwnego np czyli rozpisując
W formule neguję każdą zmienną czyli np jeśli to otrzymuje co jest równe czyli tak naprawdę zamianie jak w formule Czy ten dowód powinien tak wyglądać?