Голосарій курсу

Елементарною диз’юнкцією називають вираз  $d=x_{i_1}^{\sigma_1}\vee x_{i_2}^{\sigma_2}\vee ... \vee x_{i_r}^{\sigma_r}$,  де $x_{i_j}, (j=\overline{1,r})$ – змінні з множини $X$, причому всі  $x_{i_j}$ різні. Тут $x^\sigma=\left\{ \begin{array}{ll} \overline{x}, & \sigma=0, \\ x, & \sigma=1. \\ \end{array} \right.$