Analysis.IsPositiveFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsPositiveFunction
[bool result]=Analysis.IsPositiveFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is a positive function.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsPositiveFunction(f);
Print("IsPositiveFunction?", g);
[f]=AndOr()
{
1;2;3;
}
[g]=Analysis.IsPositiveFunction(f);
Print("IsPositiveFunction?", g);
//-------------------------------------------------------------------
// result
Analysis IsBiUnateFunctionTo IsMonotonicFunction AndOr Binary List NineComplement TwoComplement binaryioset() ToXORP DigitalSystem Eq list() minterm Nor LeastSignificantDigit PositiveIntegerToMantissa Realization Solve Save CreateCompactTableWithFullSimplification Full SimpleCover string() Utility ShannonExpansion Substitute var Xor Zero