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
IsSymmetricFunctionTo BDD ToAndOr ToBinary Email Get Load LogicScript long() MostSignificantDigit Radixes RadixFromIndex Print Realization MaxSAT ShortestInputsForDistinguishTwoStates Assign AutoAssignInputAndStateVariables StateVariables OutputAndStateBasedly ToStateTransitionTable CreateCompactTableWithFullSimplification Implementation Compatibility HuffmanMealy DontCare SimpleCover GetSubTable XORP Zero