This PR implements a variation of create_from_expresion that takes an additional vector of input truth tables as a parameter. The truth tables are assigned to the variables a, b, etc., such that one can create truth tables using create_from_expression from other existing truth tables.
This PR implements a variation of
create_from_expresionthat takes an additional vector of input truth tables as a parameter. The truth tables are assigned to the variablesa,b, etc., such that one can create truth tables usingcreate_from_expressionfrom other existing truth tables.