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
IsBiUnateFunction IsInverse IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo ToAndOr OneComplement PureBinary StringToBinaryNumber TwoComplement binaryioset ToOrAnd ToSOP ToTruthTable Diagram Email Imply Get LogicScript long Nor PermutationMatrix SOP To2LayerNand Implementation SimpleCover string() Utility ComputeFunctionOrder Substitute Zero