Hector23

die Äquivalenz soll formal bewiesen werden und ich würde das halt lösen in dem ich es als und/oder verknüpfungen darstell

du meinst also das wär richtig e1=e3? ich habs jetzt mal so versucht das ich die linek seite mit einer vollkonjunktion berechne und die rechte seite mit dem distrigesetz bei beiden komm ich auf (e1 und e2) und (-e1 und -e2) das klignt ja shcon gut find ich

Hallo, hat jemand ne Idee wie ich den Assotiativ Beweis führen muss von (e1<->e2)<->e3 = e1<->(e2<->e3) ? ich komme auf e3 = e1 das kann ja nicht sein