48
правок
Изменения
КНФ
,Нет описания правки
{{Определение
|definition =
'''Простой дизъюнкцией ''' (англ. ''inclusive disjunction'') или '''дизъюнктом ''' (англ. ''disjunct'') называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная встречается не более одного раза.
}}
Простая дизъюнкция
|+
|-align="center" bgcolor=#EEEEFF
| '''x ''' || '''y ''' || '''z ''' || <tex> \langle x,y,z \rangle </tex>
|-align="center" bgcolor=#F0F0F0
! 0 || 0 || 0 || 0
|+
|-align="center" bgcolor=#EEEEFF
| '''x ''' || '''y ''' || '''z ''' || <tex> \langle x,y,z \rangle </tex> ||
|-align="center" bgcolor=#F0F0F0
! 0 || 0 || 0 || 0 || <tex>( x \lor y \lor z)</tex>
