Changes

: This means that the set of objects <math>\{ x_j : 1 \le j \le k \}</math> is a set of boolean functions <math>\{ x_j : \mathbb{B}^k \to \mathbb{B} \}</math> subject to logical interpretation as a set of ''basic propositions'' that collectively generate the complete set of <math>2^{2^k}</math> propositions over <math>\mathbb{B}^k.</math>

: This means that the set of objects <math>\{ x_j : 1 \le j \le k \}</math> is a set of boolean functions <math>\{ x_j : \mathbb{B}^k \to \mathbb{B} \}</math> subject to logical interpretation as a set of ''basic propositions'' that collectively generate the complete set of <math>2^{2^k}</math> propositions over <math>\mathbb{B}^k.</math>

* A '''literal''' is one of the 2''k'' propositions ''x''₁,&nbsp;…,&nbsp;''x''_''k'', (''x''₁),&nbsp;…,&nbsp;(''x''_''k''), in other words, either a ''posited'' basic proposition ''x''_''j'' or a ''negated'' basic proposition (''x''_''j''), for some ''j'' = 1 to ''k''.

: A ''literal'' is one of the <math>2k\!</math> propositions <math>x_1, \ldots, x_k, (x_1), \ldots, (x_k),</math> in other words, either a ''posited'' basic proposition <math>x_j\!</math> or a ''negated'' basic proposition <math>(x_j),\!</math> for some <math>j = 1 ~\text{to}~ k.</math>

* In mathematics generally, the '''[[fiber (mathematics)|fiber]]''' of a point ''y'' under a function ''f''&nbsp;:&nbsp;''X''&nbsp;→&nbsp;''Y'' is defined as the inverse image <math>f^{-1}(y)</math>.

* In mathematics generally, the '''[[fiber (mathematics)|fiber]]''' of a point ''y'' under a function ''f''&nbsp;:&nbsp;''X''&nbsp;→&nbsp;''Y'' is defined as the inverse image <math>f^{-1}(y)</math>.