Disjoint essential sets of implicates of a CQ Horn function

From MaRDI portal
Publication:766268