Изменения

КНФ

32 байта добавлено, 07:04, 17 октября 2011

→‎Пример построения СКНФ

|+

|-align="center" bgcolor=#EEEEFF

| x || y || z || <~~xyz~~tex>med(x,y,z)</tex>

|-align="center" bgcolor=#F0F0F0

! 0 || 0 || 0 || 0

|+

|-align="center" bgcolor=#EEEEFF

! | x || y || z || <~~xyz~~tex>med(x,y,z)</tex> ||

|-align="center" bgcolor=#F0F0F0

| 0 || 0 || 0 || 0 || <tex>( x \lor y \lor z)</tex>

54

правки