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
IsEqual IsMonotonicFunction IsParityFunction IsPositiveFunction And BDD ToAndOr MaxValue OneComplement TwoComplement binary ToPOS ExcitationTable long() minterm Nand One PermutationMatrix To2LayerNand Save CreateCompactTableWithFullSimplification To2layerOrAnd Simplification MultiCover string() GetDontCareLogicFunction CreateDummyLogicFunction SemanticEval ShrinkLogicFunction Zero