Analysis.IsBiUnateFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsBiUnateFunction
[bool result]=Analysis.IsBiUnateFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is a bi-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.IsBiUnateFunction(f);
Print(g);
//-------------------------------------------------------------------
// result
Analysis IsBiUnateFunctionTo IsMonotonicFunction IsParityFunction IsSelfAntiDualFunction IsThresholdFunction IsUnateFunctionTo BDD binary() Binary ToNotFunction Diagram Dimacs Eq ExcitationTable Imply MantissaToPositiveDecimal MostSignificantDigit PositiveDecimalToMantissa PositiveIntegerToMantissa OrAnd SAT MaxSAT Backwardly StateVariables OutputAndStateBasedly Full TimingChart var Zero