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





IsBiUnateFunction IsBiUnateFunctionTo IsSelfDualFunction IsSymmetricFunction IsUnateFunction IsUnateFunctionTo binary() Binary ToROBDD ToVariableInvertedFunction DiagramGateName DigitalSystem FeedbackDiagram logicvardef() logicvardef Not MantissaToPositiveNumber ToStateTransitionTable Implementation Compatibility Balanced SimpleCover StateDeviceName StateTransition string() CreateFromLogicFunctions AdjustLogicVariableCount Normalization var() Zero

Search This Website :

 
Buy website traffic cheap