0 Daumen
2,3k Aufrufe
Hallo kann mir jemand helfen den Ausdruck zu vereinfachen?

( a ^ b ^ c ) v ( a ^ b ^ -c ) => ( a v b )

=)
Avatar von
Ist am Schluss irgendeine kanonische Form verlangt? Wenn ja: Welche?

1 Antwort

+1 Daumen

( a ^ b ^ c ) v ( a ^ b ^ -c ) => ( a v b )

<=> ( a ^ b ) => ( a v b )

<=> ¬  ( a ^ b ) v  ( a v b )

<=> ( ¬ a ∨ ¬ b ) v  ( a v b )

<=> ¬ a ∨ a v ¬ b v b

<=> WAHR

 

Die Aussage

( a ^ b ^ c ) v ( a ^ b ^ -c ) => ( a v b )

ist also für alle Belegungen von a, b und c WAHR. Solch eie Aussage nennt man auch eine Tautologie.

Avatar von 32 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community