Klauseln

[Lizzy]

hallo,

wozu benoetigt man eigentlich diese Klauseln bzw. was sagen sie aus?

Vielleicht kann mir jemand der das verstanden hat eine Zusammenfassung geben... Im Skriptum steht wie immer nicht viel Informatives...

[Murmel]

Doch, eigentlich schon, s. S. 72 unten im Skriptum.

Die Klauseln sind eigentlich nur die Mengenschreibweise in der konjunktiven Normalform.
also zB: {{A,!B}{!A}{B,C}}
=
(Av!B)^(!A)^(BvC)

lG,
Murmel