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
PermuteLogicFunction IsCovering IsSelfAntiDualFunction IsSelfDualFunction AndOr AndXor BCD BinaryNumberToString Convert ToDiagram ToDualFunction ToShannonTree long() long OrAnd ToFullAnd ShortestInputsForDistinguishTwoStates Backwardly ToFeedbackSystem ToDigitalSystem HuffmanMealy Balanced FastVerificationData Full SimpleCover SimpleInner CreateFromLogicFunctions GetPositiveLogicFunction var Zero