Преобразование набора двоичных данных в таблицу истинности в Python с помощью PyEda

Question

Как можно преобразовать набор двоичных данных в таблицу истинности в Python с помощью PyEda?

Пример: Учитывая набор двоичных данных:

      x1 | x2 | x3 | y
1  | 0  |  0 | 0
1  | 0  |  1 | 1
1  | 1  |  0 | 1
1  | 1  |  1 | 1

Функция, которую я ищу, это:

      t = data2tt(x,y)

А также tдолжно быть:

         0    0    0 : -
   0    0    1 : -
   0    1    0 : -
   0    1    1 : -
   1    0    0 : 0
   1    0    1 : 1
   1    1    0 : 1
   1    1    1 : 1