Convert.ToAndOr
Back to table
/*
Logic-Function-Analysis
Convert.ToAndOr
[AndOr g]=Convert.ToAndOr(LogicFunction f);
f : a logic function
g : a logic function in the AndOr form.
Convert the first sub logic function to the AndOr form
*/
//-------------------------------------------------------------------
// examples
[table]=TruthTable()
{
2'b00 => 4'b1000;
2'b01 => 4'b0100;
2'b10 => 4'b0010;
2'b11 => 4'b0001;
}
[glist]=Convert.ToAndOr(table);
Print(table,glist);
//-------------------------------------------------------------------
// result
Advanced MatchLogicFunction IsMonotonicFunction IsPositiveUnateFunctionTo IsSelfAntiDualFunction And AndOr ToBinary BinaryNumberToString bool ToSOP ToTruthTable ToVariableInvertedFunction minterm Nand Nor real MaxSAT Solve Assign Backwardly HuffmanMealy ShannonTree Fast Canonical GetDontCareLogicFunction Utility IndependentBase Normalization Zero