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
IsBiUnateFunctionTo IsOneFunction IsParityFunction IsPositiveUnateFunctionTo IsUnateFunction IsUnateFunctionTo AndOr AndXor BDD BCD ToAndXor ToPOS DigitalSystem Count Get Load logicvardef MantissaToPositiveNumber object To2LayerAndOr To2LayerAndXor Save AutoAssignInputAndStateVariables InputVariables Compatibility ShannonTree Balanced BestVariableOrder SimpleCover Zero