Sequential.CreateCompactTableWithFullSimplification
Back to table
/*
SequentialLogic
Sequential.CreateCompactTableWithFullSimplification
[StateTransition result]=Sequential.CreateCompactTableWithFullSimplification(StateTransition table);
Simplify a table and return its simplified table.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction PermuteLogicFunction IsBiUnateFunctionTo IsInverse IsPositiveFunction IsSelfAntiDualFunction IsUnateFunctionTo AndXor ToAndOr binary() MinValue BCD binary Convert AddXorTerm ToShannonTree Diagram DiagramGateName FeedbackSystem logicvardef() Minus MostSignificantDigit PositiveDecimalToMantissa Solve StateTransitionBasedly BestVariableOrder GetPositiveLogicFunction CreateDummyLogicFunction EnlargeLogicFunction Zero