Analysis.IsOneFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsOneFunction
[bool result]=Analysis.IsOneFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f=ONE$.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsOneFunction(f);
Print("IsOneFunction?", g);
[g]=Analysis.IsOneFunction(Or(1,-1));
Print("IsOneFunction?", g);
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsEqual IsInverse IsMonotonicFunction IsZeroFunction BDD BCD binaryioset bool() bool ToNotFunction ToXORP DiagramGateName list() Not One Or real() InputVariables Backwardly ToStateTransitionTable CreateCompactTableWithFullSimplification Implementation FullTable Full string GetNegativeLogicFunction Substitute Xor Zero