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
Advanced Analysis ToAndOr BCD BinaryNumberToString ToAndXor ToVariableInvertedFunction Dimacs ExcitationTable FeedbackDiagram list() Get MantissaToPositiveDecimal One PermutationMatrix real() To2LayerAndOr StateVariables StateTransitionBasedly ROBDD MultiCover SimpleInner StateDeviceName GetPositiveLogicFunction AdjustLogicVariableCount IndependentBase ShannonExpansion var XORP Zero