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
IsOneFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction And AndXor ToXORP FeedbackSystem logicvardef() PositiveNumberToMantissa Radixes object() One POS To2LayerAndOr ShortestInputsForDistinguishTwoStates Forwardly StateVariables StateTransitionBasedly ToFeedbackSystem CreateCompactTable Simplification FastVerificationData DontCare Shannon GetNegativeLogicFunction CreateDummyLogicFunction ShrinkLogicFunction Substitute Xor Zero