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 IsPositiveFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo FromBinary ToBinary StringToBinaryNumber ToOrAnd ToVariableInvertedFunction ExcitationTable logicvardef() long() Nor NumberSystem PositiveNumberToMantissa POS real To2LayerAndXor ToFullAnd Backwardly Forwardly To2layerOrAnd Simplification ShannonTree Balanced SimpleCover ComputeFunctionOrder CreateDummyLogicFunction Xor Zero