Analysis.IsUnateFunctionTo
Back to table
/*
Logic-Function-Analysis
Analysis.IsUnateFunctionTo
[bool result]=Analysis.IsUnateFunctionTo(LogicFunction f, var() x);
f : a logic function
x : the index of the variable
Check whether $f$ is unate function to its variable x.
The unateness indicates the effect of its logic variables with a logic function when they change their value between (0,1).
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsUnateFunctionTo(f, var(1));
Print("IsUnateFunctionTo?", g);
h=AndOr(){ 2,3; }
[g]=Analysis.IsUnateFunctionTo(h, var(1));
Print("IsUnateFunctionTo?", g);
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsCovering IsNegativeUnateFunctionTo IsSymmetricFunction IsZeroFunction AndOr binary ToAndXor ToOrAnd ToPOS Email Eq ExcitationTable MantissaToPositiveInteger PositiveDecimalToMantissa POS StateVariables ToStateTransitionTable GetExcitationTable Implementation ToDigitalSystem Compatibility Fast Canonical string GetDontCareLogicFunction GetNegativeLogicFunction SemanticEval Substitute Zero