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
IsEqual IsLinearFunction IsSelfDualFunction IsUnateFunction And AndOr Binary List MinValue BCDEx3 binary LogicScript Nand LeastSignificantDigit PositiveNumberToMantissa PermutationMatrix To2LayerAndOr To2LayerAndXor To2LayerNand ShortestInputsForDistinguishTwoStates Assign ToStateTransitionTable string TruthTable GetSubTable RandomGenerate AdjustLogicVariableCount ShannonExpansion ShrinkLogicFunction Zero