/  
Welche Beziehung besteht denn zwischen „≝” und jenem Gleichheitszeichen da[ß|s] als Taut. & Cont. ergiebt? Ist für jenes dieses Gleichheitszeichen
    „p ∙ q = ~(~p ⌵ ~q)” eine Tautologie? Man könnte sagen: „p ∙ q = p ∙ q” ist Taut. & da man das eine Zeichen „p ∙ q” hier der Definition entsprechend durch ~(~p ∙ ~q) ersetzen darf so ist auch der obere Ausdruck Taut.