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
MatchLogicFunction PermuteLogicFunction IsBiUnateFunction IsCovering IsNegativeUnateFunctionTo IsPositiveUnateFunctionTo IsSymmetricFunctionTo IsUnateFunction IsZeroFunction MaxValue GrayCode NineComplement DiagramGateName Email FeedbackDiagram MantissaToPositiveInteger PositiveIntegerToMantissa PositiveNumberToMantissa Radixes To2LayerAndOr To2LayerAndXor To2layerOrAnd FastVerificationData StateDeviceName GetNegativeLogicFunction Normalization SemanticEval Substitute var() Zero