TruthTable.GetPositiveLogicFunction
Back to table
/*
Logic-Function-Analysis
TruthTable.GetPositiveLogicFunction
[AndOr() g]=TruthTable.GetPositiveLogicFunction(TruthTable f);
f : a logic function in the TruthTable form.
g : a list of logic function in the AndOr form
Get the positive logic function of the TruthTable.
*/
//-------------------------------------------------------------------
// examples
table = TruthTable()
{
1,-2,-3=>-4,5;
-1,2,-3=>-4,-5;
-1,-2,3=>-4,-5;
-1,2,3=>4,5;
1,2,3=>4,5;
}
poslist=TruthTable.GetPositiveLogicFunction(table);
neglist=TruthTable.GetNegativeLogicFunction(table);
dclist=TruthTable.GetDontCareLogicFunction(table);
Print(poslist);
Print(neglist);
Print(dclist);
//-------------------------------------------------------------------
// result
IsBlankFunction IsPositiveUnateFunctionTo IsSymmetricFunctionTo IsUnateFunctionTo AbsoluteExpression binaryioset Convert ToTruthTable list() logicvardef() long() minterm() minterm Minus PositiveIntegerToMantissa Print To2LayerOrAnd ToFullAnd InputVariables Forwardly FullTable BestVariableOrder RandomGenerate Utility AdjustLogicVariableCount CreateDummyLogicFunction EnlargeLogicFunction Substitute var() Zero