Совершенная ДНФ.

[junkiedob]

Задача:
переписать в совершенной нормальной дизъюнктивной форме
f(x, y, z) = (x ~ y) V ((z + 1) -> xyz).

Как я поняла, надо сначала составить таблицу истинности для f и выписать значения, при которых f=1.
Проблема в том, что я не понимаю, как расценивать z + 1.
"+"="v"?

тогда для z+1:
z |1 |z+1
0 |1 |1
1 |1 |1

так?

[JMH]

Мне не ясно, как Вы записываете логические операции, что такое "~"? А что обозначает "+"? Я бы предположил, что дизъюнкцию, но вон она рядом - дизъюнкция в своем обычном обозначении...

[junkiedob]

Проблема в том, что не я их так записываю ")
~ - по всей видимости эквиваленция (равносильность).
Что такое + я как раз пытаюсь понять.

-- Ср фев 02, 2011 04:17:04 --

Проблема в том, что не я их так записываю ")
~ - по всей видимости эквиваленция (равносильность).
Что такое + я как раз пытаюсь понять.

[Sonic86]

Что такое $+$ - это у Вас или авторов задачи надо спрашивать, а вообще там обычно под $+$ понимается сложение по модулю 2 (отрицание эквиваленции, XOR): $a+b=1 \Leftrightarrow a \neq b$

[OcbMuHor]

http://ru.wikipedia.org/wiki/Булева_функция
"+" это одно из обозначений дизъюнкции "логическое сложение"... но если присутствует запись х+1, то это наводит на размышление что речь идет о сложении по модулю 2. уточните у преподавателя или в конспекте.
"~" эдно из обозначений эквивалентности