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
IsBlankFunction IsPositiveFunction IsSelfDualFunction IsUnateFunctionTo BCD BCDEx3 binaryioset bool() Dimacs Imply minterm MantissaToPositiveNumber Radixes RadixToIndex object() object PermutationMatrix SAT Sequential BestVariableOrder MultiCover SimpleCover TruthTable CreateFromLogicFunctions ComputeFunctionOrder EnlargeLogicFunction IndependentBase ShrinkLogicFunction Xor Zero
Rapua tenei Paetukutuku :
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.