Welche Beziehung besteht denn zwischen „≝” und jenem Gleichheitszeichen das Taut. & Cont. ergibt? 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..