logicvardef
Back to table
/*
BasicType
logicvardef
[logicvardef f]=function(logicvardef g);
Used to define a logic-value of a logic-variable. ie f=x1*(logicvardef(x2,DontCare))*x3, in this case for indicates the x2 is a DontCare variable.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Analysis IsCovering And Binary bool Equiv logicvardef Nand MostSignificantDigit RadixToIndex OrAnd PermutationMatrix To2LayerNor To2LayerOrAnd To2LayerAndXor Solve Assign StateVariables ToStateTransitionTable CreateCompactTableWithFullSimplification To2layerOrAnd BestVariableOrder Shannon StateDeviceName CreateFromLogicFunctions GetSubTable Utility IndependentBase Normalization Zero