• IMP 9
  • anonym
  • 16.05.2022
  • 9
Um die Lizenzinformationen zu sehen, klicken Sie bitte den gewünschten Inhalt an.

Aussagenlogik - Rechenregeln

Grundgesetz

formale Darstellung

Doppelte Negation

Kommutativgesetz

Assoziativgesetz

Distributivgesetz

Tautologie

De Morgansche Gesetz

Vorfahrts-& Klammerregel

Auch in der Aussagenlogik gelten Vorfahrts- und Klammerregeln:

Es gilt „nicht“ vor „und“ bzw. „oder“  

Bsp.:

¬ab=(¬a)b¬(ab)\gdef\cloze#1{{\raisebox{-.05em}{\colorbox{none}{\color{transparent}{\large{$\displaystyle #1$}}}}}} \neg a \wedge b = (\neg a)\wedge b \neq \neg (a \wedge b)