Sequential.CreateCompactTableWithFullSimplification
Back to table
/*
SequentialLogic
Sequential.CreateCompactTableWithFullSimplification
[StateTransition result]=Sequential.CreateCompactTableWithFullSimplification(StateTransition table);
Simplify a table and return its simplified table.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsNegativeUnateFunctionTo IsParityFunction BDD Binary List BCDEx3 BinaryNumberToString OneComplement TwoComplement binaryioset AddXorTerm ToNotFunction ToShannonTree Imply list() long() minterm() Not RadixToIndex SAT MaxSAT Solve AutoAssignInputAndStateVariables InputVariables OutputAndStateBasedly Canonical Full SimpleInner Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.