Definition:Singular Conjunction

Definition
Let $\Bbb B = \left\{{T, F}\right\}$ be a boolean domain.

A singular conjunction in the set of propositions of type $\Bbb B^k \to \Bbb B$ is a conjunction of $k\!$ literals that includes just one conjunct of each complementary pair $\left\{{x_j, \neg x_j}\right\}$ for each $j: 1 \le j \le k$.