Analysis.IsNegativeUnateFunctionTo
Back to table
/*
Logic-Function-Analysis
Analysis.IsNegativeUnateFunctionTo
[bool result]=Analysis.IsNegativeUnateFunctionTo(LogicFunction f, var() x);
f : a logic function
x : the index of the variable
Check whether $f$ is negative 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.IsNegativeUnateFunctionTo(f, var(1));
Print("IsNegativeUnateFunctionTo?", g);
h=AndOr(){ -1,2,3; }
[g]=Analysis.IsNegativeUnateFunctionTo(h, var(1));
Print("IsNegativeUnateFunctionTo?", g);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsSymmetricFunction Binary MinValue BCD NineComplement OneComplement StringToBinaryNumber Convert ToXORP Equiv ExcitationTable Count Load long minterm Nor Realization To2LayerNor To2LayerOrAnd ShortestInputsForDistinguishTwoStates TransitionSeries StateVariables ToDigitalSystem FastVerificationData StateTransition AdjustLogicVariableCount Normalization ShannonExpansion Zero