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
IsSymmetricFunction IsUnateFunctionTo AndXor Binary MinValue GrayCode StringToBinaryNumber TwoComplement binaryioset bool ToAndXor AddXorTerm ToShannonTree Equiv Get logicvardef() LeastSignificantDigit RadixFromIndex Or SOP To2LayerAndOr ToFullAnd Save Implementation SimpleCover CreateFromLogicFunctions GetDontCareLogicFunction ShannonExpansion ShrinkLogicFunction Zero