• Pyeda library problems

 

Hope there is anybody who feels good with PYEDA.

For example I am working in dimension of [x1,x2,x3,x4] variables.

And if after some calculations I am getting function equal to AND(x1,x2) (It's like x1 && x2) and asking

function=(x1 & x2) | (x3|x4|!x3)
expr2truthtable(function)

I would get table like [0,0,0,1]. That is ok in boolean algebra, but what can I do if I want to have tables for 4 variables(from variables x1,x2,x3,x4 if they were in func at the begining of calc).

Attemp like

expr2truthtable(function&(x1|~x1|x2|x3|x4)

does not helps, pyeda gives table for 2 variables making simplify. How can I avoid this?

There is also full code which loses variables)