TruthTable.GetNegativeLogicFunction
Back to table
/*
Logic-Function-Analysis
TruthTable.GetNegativeLogicFunction
[AndOr() g]=TruthTable.GetNegativeLogicFunction(TruthTable f);
f : a logic function in the from of TruthTable.
g : a list of logic function in the AndOr form.
Get the negative 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
Advanced IsBiUnateFunctionTo IsEqual IsMonotonicFunction ToAndOr BCD ToVariableInvertedFunction ToXORP Diagram Dimacs Imply LogicScript MostSignificantDigit RadixFromIndex SOP To2LayerAndXor Solve Save ShortestInputsForTransition Forwardly CreateCompactTable CreateCompactTableWithFullSimplification BestVariableOrder MultiCover TruthTable RandomGenerate AdjustLogicVariableCount EnlargeLogicFunction IndependentBase Zero