An Algorithm for the Disjunctive Decomposition of Switching Functions

From MaRDI portal
Publication:5653931