Definition:Singular Conjunction

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

A singular conjunction in the set of propositions of type $$\mathbb{B}^k \to \mathbb{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$$.