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 IsBiUnateFunctionTo IsSelfDualFunction IsThresholdFunction IsUnateFunctionTo bool ToPOS FeedbackDiagram Load NumberSystem MantissaToPositiveDecimal real() real To2LayerNor Solve ShortestInputsForDistinguishTwoStates TransitionSeries Assign InputVariables ToFeedbackSystem Implementation Compatibility FastVerificationData ROBDD DontCare GetNegativeLogicFunction CreateDummyLogicFunction EnlargeLogicFunction XORP Zero

搜索本網站 :

 
Buy website traffic cheap