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
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
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.