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 IsInverse IsNegativeUnateFunctionTo IsParityFunction IsUnateFunctionTo BinaryNumberToString NineComplement ToXORP Equiv long() long Nor MantissaToPositiveDecimal PositiveDecimalToMantissa RadixFromIndex One Realization To2LayerNor SAT Assign CreateCompactTableWithFullSimplification GetExcitationTable BestVariableOrder MultiCover Shannon SimpleCover CreateFromLogicFunctions ComputeDONTCARE Substitute Zero