Also wie genau kann ich zb die doppelte negation (a')' =a beweisen, mithilfe von den Huntington'schen Axiomen(Neutrales Element, Inverses Element, Kommutativgesetz, Distributivgesetz)?
Wäre nett, wenn zum Verständnis gezeigt wird, welche Rechenregel verwendet wird.
