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
IsLinearFunction IsSelfDualFunction IsSymmetricFunctionTo AbsoluteExpression BCD GrayCode OneComplement AddXorTerm ToSOP DiagramGateName minterm() Nor PositiveIntegerToMantissa PositiveNumberToMantissa object Print To2LayerAndOr MaxSAT ShortestInputsForDistinguishTwoStates AutoAssignInputAndStateVariables Fast FastVerificationData Canonical StateTransition string() GetSubTable ComputeDONTCARE CreateDummyLogicFunction XORP Zero