Kippen-Ede = k, Messer-Fritze = m, Narben-Jonny = n, Hinke-Heini = h, Zappel-Jupp = z
A1: Wenn Kippen-Ede dabei war, dann war auch Messer-Fritze dabei. (Implikation)
k
| m
| A1 (¬k ∨ m)
|
0
| 0
| 1
|
0
| 1
| 1
|
1
| 0
| 0
|
1
| 1
| 1
|
A2: Mindestens einer der Brüder, die Narben-Jonny und Hinke-Heini genannt werden, war mit von der Partie. (ODER)
A3: Entweder haben Zappel-Jupp und Narben-Jonny das gemeinsam gedreht, oder keiner war dabei. (UND)
A4: Entweder Messer-Fritze oder Zappel-Jupp war dabei. (Exklusives ODER)
m
| z
| A4 ((m ∨ z) ∧ ¬(m ∧ z))
|
0
| 0
| 0
|
0
| 1
| 1
|
1
| 0
| 1
|
1
| 1
| 0
|
A5: Wenn Hinke-Heini dabei war,dann waren auch Narben-Jonny und Kippen-Ede nicht untätig. (Implikation)
h
| n ∧ k
| A5 (¬h ∨ (n ∧ k)
|
0
| 0
| 1
|
0
| 1
| 1
|
1
| 0
| 0
|
1
| 1
| 1
|
Damit ergibt sich folgende boolsche Funktion:
f_{k,m,n,h,z} = (¬k ∨ m) ∧ (n ∨ h) ∧ (z ∧ n) ∧ ((m ∨ z) ∧ ¬(m ∧ z)) ∧ (¬h ∨ (n ∧ k))
k
| m
| n
| h
| z
| (¬k ∨ m) ∧ (n ∨ h) ∧ (z ∧ n) ∧ ((m ∨ z) ∧ ¬(m ∧ z)) ∧ (¬h ∨ (n ∧ k))
|
0
| 0
| 0
| 0
| 0
| 0
|
0
| 0
| 0
| 0
| 1
| 0
|
0
| 0
| 0
| 1
| 0
| 0
|
0
| 0
| 0
| 1
| 1
| 0
|
0
| 0
| 1
| 0
| 0
| 0
|
0
| 0
| 1
| 0
| 1
| 1
|
0
| 0
| 1
| 1
| 0
| 0
|
0
| 0
| 1
| 1
| 1
| 0
|
0
| 1
| 0
| 0 | 0 | 0
|
0
| 1
| 0
| 0
| 1
| 0
|
0
| 1
| 0
| 1
| 0
| 0
|
0
| 1
| 0
| 1
| 1
| 0
|
0 | 1 | 1
| 0
| 0
| 0
|
0
| 1
| 1
| 0
| 1
| 0
|
0
| 1
| 1
| 1
| 0
| 0
|
0
| 1
| 1
| 1
| 1
| 0
|
1
| 0
| 0
| 0
| 0
| 0
|
1
| 0
| 0
| 0
| 1
| 0
|
1
| 0
| 0
| 1
| 0
| 0
|
1
| 0
| 0
| 1
| 1
| 0
|
1
| 0
| 1
| 0
| 0
| 0
|
1
| 0
| 1
| 0
| 1
| 0
|
1
| 0
| 1
| 1
| 0
| 0
|
1
| 0
| 1
| 1
| 1
| 0
|
1
| 1
| 0
| 0
| 0
| 0
|
1
| 1
| 0
| 0
| 1
| 0
|
1
| 1
| 0
| 1
| 0
| 0
|
1
| 1
| 0
| 1
| 1
| 0
|
1
| 1
| 1
| 0
| 0
| 0
|
1
| 1
| 1
| 0
| 1
| 0
|
1
| 1
| 1
| 1
| 0
| 0
|
1
| 1
| 1
| 1
| 1
| 0
|
Die Täter sind also Narben-Jonny und Zappel-Jupp.