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 IsInverse IsMonotonicFunction IsPositiveFunction AndOr Binary NineComplement PureBinary ToDiagram ToDualFunction Email FeedbackSystem Imply LogicScript logicvardef MantissaToPositiveInteger PositiveNumberToMantissa To2LayerOrAnd To2LayerAndOr ToFullAnd ShortestInputsForDistinguishTwoStates Forwardly Implementation HuffmanMealy Fast TimingChart TruthTable EnlargeLogicFunction var Zero