Doppelnegation, Kommutativ-, Assoziativ- und Distributivgesetz, De Morgansche  Regeln