✓ ✓  
Man denkt da leicht an die Regel daß ~p ∙ p keinen sinnvollen Satz ergibt. Und in der W-F Notation ist die Sonderstellung dieser Zeichenkombination besonders klar.