Um die Lizenzinformationen zu sehen, klicken Sie bitte den gewünschten Inhalt an.

Aussagenlogik - Rechenregeln

Name: tutory UG (haftungsbeschränkt)
Address: Endersstr. 33, Leipzig, SN, 04177
Telephone: +49 341 42348535

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.:

\neg a \land b = (\neg a) \land b \neq = \neg (a \land b)