[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen] | ||
Mathematik-Online-Lexikon: | ||
Umformungsregeln für logische Operationen |
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z | Übersicht |
Die alternativen Formulierungen werden oft in Beweisen benutzt.
Ein logischer Ausdruck, der unabhängig vom Wahrheitswert der auftretenden
Aussagen immer wahr bzw. immer falsch ist, wird als Tautologie
bzw. Kontradiktion bezeichnet. Ein solcher Ausdruck kann bei einer Umformung
durch w (oder ) bzw. f (oder 0) ersetzt werden. Insbesondere gelten die
Identitäten:
Beispiele:
automatisch erstellt am 19. 8. 2013 |