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
IsCovering IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo BDD Binary BCD NineComplement OneComplement StringToBinaryNumber TwoComplement binaryioset ToSOP Diagram DiagramGateName Dimacs Equiv logicvardef() minterm Nor Not RadixToIndex real To2LayerAndXor InputVariables CreateCompactTable ShannonTree Canonical IndependentBase ShrinkLogicFunction Zero