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
IsBiUnateFunction IsParityFunction List BCD ToDiagram ToNotFunction DigitalSystem Imply minterm() MantissaToPositiveNumber PositiveDecimalToMantissa PositiveNumberToMantissa object Print To2LayerOrAnd ToFullAnd Forwardly GetExcitationTable Implementation ToDigitalSystem BestVariableOrder Full Shannon string() CreateFromLogicFunctions GetDontCareLogicFunction AdjustLogicVariableCount ComputeDONTCARE var Zero