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
            
                
                
                
                
                
                
                
                
                
                
                
                
                
                
             
            
            
            
            
            
MatchLogicFunction IsBiUnateFunction IsCovering IsLinearFunction IsMonotonicFunction IsOneFunction IsPositiveFunction IsSelfAntiDualFunction BCD bool() ToOrAnd ToDiagram ToPOS DiagramGateName DigitalSystem Count Load Nand SAT ShortestInputsForTransition TransitionSeries CreateCompactTableWithFullSimplification ToDigitalSystem Balanced BestVariableOrder string CreateFromLogicFunctions ComputeDONTCARE Xor Zero