Analysis.IsUnateFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsUnateFunction
[bool result]=Analysis.IsUnateFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is unate function to all its variables.
The unateness indicates the effect of its logic variables with a logic function when they change their value between (0,1).
*/
//-------------------------------------------------------------------
// examples
[f]=AndOr()
{
1;-2;3;
}
[g]=Analysis.IsUnateFunction(f);
Print("IsUnateFunction?",g);
//-------------------------------------------------------------------
// result
IsEqual FromBinary MaxValue BCDEx3 NineComplement OneComplement bool() bool ToNotFunction DigitalSystem Count Get logicvardef MantissaToPositiveNumber OrAnd Print real() Realization SAT Solve ToStateTransitionTable CreateCompactTable DontCare Shannon SimpleCover TimingChart GetPositiveLogicFunction GetSubTable SemanticEval Zero