I am using some software that generates truth tables based on a BDD. Here is an example:
abcde
11110
110x0
10xxx
01110
010x0
00xxx
The problem is that this is not very user readable. I would like to see simplified table like this instead:
abcde
xxx10
xx0x0
x0xxx
How difficult would it be in general for the software to produce a minimized truth table given one an arbitraly sized truth table that is not minimized?