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
Analysis IsSelfAntiDualFunction IsZeroFunction ToAndOr binary() Binary AbsoluteExpression FromBinary ToBinary ToTruthTable Imply PositiveNumberToMantissa OrAnd real() Realization To2LayerNor ShortestInputsForDistinguishTwoStates CreateCompactTable Implementation HuffmanMealy Fast ROBDD Full CreateFromLogicFunctions GetDontCareLogicFunction AdjustLogicVariableCount ComputeDONTCARE EnlargeLogicFunction var() Zero