Wahrheitstabelle zu bool'schen Ausdruck

[Medium]

So, mal was für die Theoretiker unter uns

Ich hab hier eine Tabelle mit 6 Konditionen, und darin sämtliche Verknüpfungen dieser die "wahr" ergeben sollen. Alle anderen sollen "falsch" liefern. Da ich diese 16 Kombis die "wahr" sein sollen ungern alle einzeln abtesten will, suche ich nun nach einem Verfahren wie ich diese Tabelle in einen möglichst kurzen logischen Term überführe, der nur "and", "or", "not" und "xor" beinhaltet.

Meine Tabelle schaut so aus: (blank = 0)

Code:

A | | |1|1| | |1|1| |1| |1| |1| |1|
B | | |1| |1| |1|1| |1| |1|1|1| | |
C | | | |1| |1|1|1| |1| |1| | |1|1|
D |1| | | |1|1|1| |1| |1| |1|1| | |
E | |1| | |1|1| |1|1| |1| | | |1|1|
F | |1| |1| |1| |1| | |1|1| | |1|1|
--+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-|
= |1|1|1|1|1|1|1|1|1|1|1|1|1|1|1|1|

Da bekomm ich eindeutig nen von