PYEDA 函数真值表

Question

希望有人对 PYEDA 感觉良好。

我想给函数添加虚构变量让我有 f=x1，但是我怎样才能得到这个函数的真值table，它也会有 x2

f(x1)=x1 的真相table 是：

x1 f
0 0
1 1

但是对于 f(x1,x2)=x1 是：

x1   x2   f
0    0    0
0    1    0
1    0    1
1    1    1

但我会先得到table，pyeda会自动将x1&(x2|~x2)简化为x1。我如何添加这个 x2？

def calcFunction(function, i):
    #here is is point with dimension-size 4
    function=function.restrict({x4:i[3]})
    function = function.restrict({x3:i[2]})
    function = function.restrict({x2:i[1]})
    function = function.restrict({x1:i[0]})
    if function.satisfy_one() is not None:
        return 1
    return 0

这是我修复它的算法，我在每个点手动计算 func，其中函数可以包含 1-4 个变量，我正在计算所有点和 x1...x4 的组合。

Answer 1

我不确定我是否理解所问的问题，但您可能想尝试表达式 simplify 方法。

例如：

In [1]: f = (X[1] & X[2]) | (X[3] | X[4] | ~X[3])                                                                  

In [2]: expr2truthtable(f)                                                                                         
Out[2]: 
x[4] x[3] x[2] x[1]
   0    0    0    0 : 1
   0    0    0    1 : 1
   0    0    1    0 : 1
   0    0    1    1 : 1
   0    1    0    0 : 1
   0    1    0    1 : 1
   0    1    1    0 : 1
   0    1    1    1 : 1
   1    0    0    0 : 1
   1    0    0    1 : 1
   1    0    1    0 : 1
   1    0    1    1 : 1
   1    1    0    0 : 1
   1    1    0    1 : 1
   1    1    1    0 : 1
   1    1    1    1 : 1

In [3]: f = f.simplify()                                                                                           

In [4]: f                                                                                                          
Out[4]: 1

In [5]: expr2truthtable(f)                                                                                         
Out[5]: 1

PYEDA 函数真值表

PYEDA truthtable of functions

boolean-logic

python-3.x

pyeda