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
PermuteLogicFunction IsNegativeUnateFunctionTo IsParityFunction BCD BCDEx3 BinaryNumberToString binaryioset bool() ToAndXor ToDiagram ToShannonTree ToSOP DiagramGateName DigitalSystem Equiv FeedbackSystem logicvardef() logicvardef long MantissaToPositiveInteger MantissaToPositiveNumber POS To2LayerNand Assign AutoAssignInputAndStateVariables To2layerOrAnd Canonical MultiCover var Zero