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
PermuteLogicFunction IsInverse IsMonotonicFunction IsPositiveFunction IsSelfAntiDualFunction IsSymmetricFunctionTo BCD GrayCode binaryioset() binaryioset ToXORP Equiv LogicScript Minus Nand MantissaToPositiveNumber object Print real() Realization ShortestInputsForTransition TransitionSeries ToFeedbackSystem Simplification Shannon SimpleCover AdjustLogicVariableCount ComputeFunctionOrder IndependentBase Zero