das wird den Fehler aber nicht hervorrufen, denn in der Aussagenlogik gilt nach dem Idempotenzgesetz a oder a = a...