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
IsEqual IsNegativeUnateFunctionTo AndXor BDD Binary ToBinary BinaryNumberToString bool AddXorTerm ToPOS Email FeedbackSystem list() Count logicvardef long() MostSignificantDigit object Or Save ShortestInputsForDistinguishTwoStates StateTransitionBasedly HuffmanMealy ROBDD MultiCover GetSubTable Utility Normalization var() Zero