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

Search This Website :

 
Buy website traffic cheap