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
Advanced PermuteLogicFunction IsNegativeUnateFunctionTo IsOneFunction IsUnateFunction List BCDEx3 GrayCode OneComplement bool() ToOrAnd Eq FeedbackDiagram Imply Count MantissaToPositiveDecimal MantissaToPositiveNumber MostSignificantDigit PositiveDecimalToMantissa RadixFromIndex object() Save Assign InputVariables StateVariables TimingChart Utility Normalization ShrinkLogicFunction Zero