/  
In „~p ∙ (~~p = p)” kann der zweite Teil nur eine Spielregel sein.