Vom Duplikat:
Titel: Formulierungen Aussagenlogik
Stichworte: aussagenlogik,formel
Aufgabe:
Gegeben sind die folgenden aussagenlogischen Variablen: A ("Artikel A wird gekauft"), B ("Artikel B wird gekauft") ,C (Artikel C wird gekauft", D ("Artikel D wird gekauft"), E ("Artikel E wird gekauft").
Formuliere folgende Aussage in einer aussagenlogischen Formel (mit Hilfe der aussagenlogischen Variablen von oben) :
1) Eine gerade Anzahl an Artikeln wird gekauft.
Problem/Ansatz:
Ich konnte mir bisher die aussagenlogischen Formel zu der ähnlichen Aussage "Eine ungeraden Anzahl an Artikel wird gekauft" herleiten:
Hierfür konnte ich das Xor(⊕) verwenden: A ⊕ B ⊕ C ⊕ D ⊕ E (Wird ja nur bei einer ungeraden Anzahl von 1en in der Belegung erfüllt)
A ⊕ B ⊕ C ⊕ D ⊕ E => "Eine ungeraden Anzahl an Artikel wird gekauft"
Leider stehen ich komplett auf dem Schlauch und weiß nicht wie ich die Aussage für eine gerade Anzahl an Artikeln ausdrücken kann.
Würde mich über jede Hilfe freuen.