One
Back to table
/*
Logic-Function-Analysis
One
[AndOr g]=One();
g : a logic function
Create a logic function with the value ONE.
Except the definition of the truth-table, we define the value of ONE and TRUE very distinguishedly.
*/
//-------------------------------------------------------------------
// examples
f=One();
Print(f);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsBlankFunction IsEqual IsSelfAntiDualFunction IsSymmetricFunction IsThresholdFunction IsZeroFunction BDD Binary AbsoluteExpression AddXorTerm ToROBDD ToVariableInvertedFunction FeedbackSystem Imply logicvardef() MantissaToPositiveInteger RadixFromIndex To2LayerOrAnd SAT AutoAssignInputAndStateVariables Simplification Compatibility HuffmanMealy Full StateTransition TruthTable SemanticEval ShannonExpansion Zero