Changes

: Singular boolean functions and singular propositions serve as functional or logical representatives of the points in <math>\mathbb{B}^k.</math>

: Singular boolean functions and singular propositions serve as functional or logical representatives of the points in <math>\mathbb{B}^k.</math>

* A '''singular conjunction''' in '''B'''^''k''&nbsp;→&nbsp;'''B''' is a conjunction of ''k'' literals that includes just one conjunct of the pair <math>\{ x_j,\ \nu (x_j) \}</math> for each ''j'' = 1 to ''k''.

: A ''singular conjunction'' in <math>\mathbb{B}^k \to \mathbb{B}</math> is a conjunction of <math>k\!</math> literals that includes just one conjunct of the pair <math>\{ x_j, ~\nu(x_j) \}</math> for each <math>j = 1 ~\text{to}~ k.</math>

* A singular proposition ''s''&nbsp;:&nbsp;'''B'''^''k''&nbsp;→&nbsp;'''B''' can be expressed as a singular conjunction:

: A singular proposition <math>s : \mathbb{B}^k \to \mathbb{B}</math> can be expressed as a singular conjunction:

{| align="center" cellspacing"10" width="90%"

{| align="center" cellspacing"10" width="90%"