Hallo.
Hab folgenden Term:
( (A[FONT=Albany AMT, sans-serif] Λ A) [/FONT][FONT=Albany AMT, sans-serif]Λ (B V B) ) [/FONT]V [FONT=Albany AMT, sans-serif]¬(A[/FONT][FONT=Albany AMT, sans-serif] Λ B)
Nach anwenden von diversen Regeln:
[/FONT](A[FONT=Albany AMT, sans-serif] Λ A) = A
[/FONT][FONT=Albany AMT, sans-serif](B V B) = B[/FONT]
[FONT=Albany AMT, sans-serif]¬(A[/FONT][FONT=Albany AMT, sans-serif] Λ B) = [/FONT][FONT=Albany AMT, sans-serif]¬[/FONT][FONT=Albany AMT, sans-serif]A [/FONT][FONT=Albany AMT, sans-serif]V [/FONT][FONT=Albany AMT, sans-serif]¬[/FONT][FONT=Albany AMT, sans-serif]B (De Morgan)
erhalte ich folgenden Term:
A [/FONT][FONT=Albany AMT, sans-serif]Λ[/FONT][FONT=Albany AMT, sans-serif] B V [/FONT][FONT=Albany AMT, sans-serif]¬A V [/FONT][FONT=Albany AMT, sans-serif]¬B
Wie kann ich den jetzt noch vereinfachen? Ich glaube insgesamt muss 1 rauskommen, nur weiß ich nicht wie das gehen soll! [/FONT]
MfG
Schubi
