TruthTable.GetDontCareLogicFunction
Back to table
/*
Logic-Function-Analysis
TruthTable.GetDontCareLogicFunction
[AndOr g]=TruthTable.GetDontCareLogicFunction(TruthTable f);
f : a logic function in the TruthTable form
g : a logic fucntion in the AndOr form
Get the DONTCARE logic function of the TruthTable.
The DONTCARE logic function of a TruthTable, is the collection of the combination of the input that doesn't appear in 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
MatchLogicFunction IsLinearFunction IsParityFunction IsSelfDualFunction MaxValue BinaryNumberToString binaryioset() ToDualFunction DigitalSystem Dimacs FeedbackSystem long NumberSystem MantissaToPositiveDecimal PositiveNumberToMantissa Print To2LayerNor SAT Sequential ShortestInputsForTransition OutputAndStateBasedly Compatibility Fast string EnlargeLogicFunction Normalization ShrinkLogicFunction var() XORP Zero