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
IsBlankFunction IsPositiveUnateFunctionTo IsSelfDualFunction AndOr FromBinary List BCDEx3 PureBinary binary binaryioset() Convert ToDualFunction ToShannonTree Diagram logicvardef() long() long One To2LayerAndOr InputVariables Backwardly ToFeedbackSystem DontCare Full SimpleCover GetDontCareLogicFunction AdjustLogicVariableCount IndependentBase SemanticEval Zero