- Noun. (''propositional calculus'') The hypothesis of an implication.
- Noun. (electrical engineering) On a Karnaugh map: a set of 1's (whose quantity is a power of two) which are related by adjacency (i.e., the set is (w, Connectivity (graph theory)">torus; and, all elements of the subgraph induced by the set have the same degree). ''Equivalently (in terms of Boolean algebra)'', a product term which, when true, always implies that the given Boolean function is true.