54
правки
Изменения
КНФ
,→Алгоритм построения СКНФ по таблице истинности
! x || y || z || <xyz> ||
|-align="center" bgcolor=#F0F0F0
| 0 || 0 || 0 || 0 || <tex>( x \lor y \lor z)</tex>
|-align="center" bgcolor=#F0F0F0
| 0 || 0 || 1 || 0 || <tex>( x \lor y \lor \overline{z})</tex>
|-align="center" bgcolor=#F0F0F0
| 0 || 1 || 0 || 0 || <tex>(x \lor \overline{y} \lor z)</tex>
|-align="center" bgcolor=#F0F0F0
! 0 || 1 || 1 || 1 ||
|-align="center" bgcolor=#F0F0F0
| 1 || 0 || 0 || 0 || <tex>(\overline{x} \lor y \lor z)</tex>
|-align="center" bgcolor=#F0F0F0
! 1 || 0 || 1 || 1 ||
