Beiträge von Schubi

    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