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
            
                
                
                
                
                
                
                
                
                
                
                
                
                
                
             
            
            
            
            
            
PermuteLogicFunction IsBlankFunction IsCovering IsLinearFunction IsMonotonicFunction IsPositiveFunction AndOr AndXor FromBinary BCDEx3 ToNotFunction ToPOS ToVariableInvertedFunction Imply MantissaToPositiveDecimal PositiveNumberToMantissa PermutationMatrix Print real() Realization ToFullAnd MaxSAT ShortestInputsForDistinguishTwoStates Compatibility ROBDD GetNegativeLogicFunction Normalization Substitute var Zero