/  
   Welche Beziehung besteht denn zwischen dem Zeichen “≝” und jenem Gleich heitszeichen welches durch Tautologie und Kontradikti[)|o]n erklärt wird?
   Ist für dieses Gleichheitszeichen “p & q = non[)|(]nonp V nonq)” eine Tautologie? Man könnte sagen: “p & q = p & q” ist Taut. und da man das eine Zeichen “p & q” hier der Definition entsprechend durch “non(nonp & nonq)” ersetzen darf, so ist auch der obere Ausdruck Taut.