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)
Created at: 2020/03/08 02:11; Updated at: 2020/03/08 17:04