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
IsPositiveFunction IsUnateFunction IsUnateFunctionTo PureBinary binaryioset() binaryioset Dimacs Email logicvardef minterm() LeastSignificantDigit MantissaToPositiveNumber PositiveDecimalToMantissa PositiveNumberToMantissa RadixFromIndex object() real() To2LayerOrAnd To2LayerAndXor To2LayerNand Assign To2layerOrAnd Compatibility ShannonTree Balanced MultiCover StateTransition RandomGenerate Xor Zero