Sequential.Simplification.Compatibility
Back to table
/*
SequentialLogic
Sequential.Simplification.Compatibility
[StateTransition result]=Sequential.Simplification.Compatibility(StateTransition table);
Simplify an incompletely defined state-transition-table with the compatibility algorithm.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsCovering IsOneFunction IsSelfDualFunction IsThresholdFunction MaxValue ToBinary Convert ToDualFunction Email Equiv logicvardef() LeastSignificantDigit MostSignificantDigit RadixFromIndex To2LayerNor To2LayerOrAnd To2LayerAndOr Save StateVariables OutputAndStateBasedly StateTransitionBasedly MultiCover Shannon TimingChart IndependentBase ShrinkLogicFunction Substitute var Zero