(logic) A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").

plural of essential prime implicant

(electrical engineering) A prime implicant on a Karnaugh map which "covers" at least one 1 which is not covered by any other prime implicant.

plural of non-essential prime implicant

(electrical engineering) On a Karnaugh map: a prime implicant which does not cover any 1 which cannot covered by some other prime implicant.