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
IsCovering IsLinearFunction IsMonotonicFunction IsOneFunction IsSymmetricFunction IsUnateFunctionTo AbsoluteExpression ToBinary OneComplement StringToBinaryNumber ToShannonTree ToSOP ToVariableInvertedFunction LogicScript Nor PositiveNumberToMantissa PermutationMatrix real() StateVariables FullTable BestVariableOrder Fast StateTransition string() GetPositiveLogicFunction SemanticEval Substitute var() Xor Zero