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
IsBlankFunction IsPositiveUnateFunctionTo IsUnateFunction Binary TwoComplement ToAndXor ToShannonTree ToSOP ToTruthTable DiagramGateName Email ExcitationTable PositiveDecimalToMantissa POS real() To2LayerNand Assign To2layerOrAnd Compatibility ROBDD DontCare SimpleInner StateDeviceName string() TruthTable GetNegativeLogicFunction ShrinkLogicFunction Substitute var() Zero