TruthTable.GetSubTable
Back to table
/*
Logic-Function-Analysis
TruthTable.GetSubTable
[TruthTable subTable]=TruthTable.GetSubTable(TruthTable table, int outputIndex);
table : a logic function in the TruthTable form
outputIndex : the index of the specified output
subTable : the sub logic function int he TruthTable form
Get a sub-table from the truth-table.
*/
//-------------------------------------------------------------------
// examples
table=TruthTable()
{
2'b00 => 4'b1000;
2'b01 => 4'b0100;
2'b10 => 4'b0010;
2'b11 => 4'b0001;
}
[fandor]=TruthTable.GetSubTable(table,3);
Print(fandor);
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsPositiveUnateFunctionTo BDD ToBinary ToOrAnd ToNotFunction ToROBDD Email ExcitationTable Minus Nor PositiveDecimalToMantissa PositiveIntegerToMantissa Radixes object One Or To2LayerNor SAT MaxSAT FullTable ROBDD Canonical DontCare StateDeviceName CreateFromLogicFunctions ComputeDONTCARE ComputeFunctionOrder SemanticEval Zero