Задача: переписать в совершенной нормальной дизъюнктивной форме f(*, y, z) = (* ~ y) V ((z + 1) > xyz).
Как я поняла, надо сначала составить таблицу истинности для f и выписать значения, при которых f=1. Проблема в том, что я не понимаю, как расценивать z + 1. «+» это дизъюнкция?
как правило, если просто плюс, то дизъюнкция, если плюс в кружочке сложение по модулю два, оно же исключающее или, оно же XOR. у тебя же z+1 дано в примере, что заведомо было бы равно единице, и рядом же дизъюнкция обозначена подругому. значит это сложение по модулю два. дальше, я думаю понятно, выписываешь все наборы (*,y,z) аргументов функции, в которых она 1 и в соответствии им строишь элементарные конъюнкции по правилу: если переменная в наборе равна нулю, то пишем её с отрицанием, если 1 без отрицания. например, набору *=0 y=1 z=1 соответствует элем. конъюнкция (!*)yz
Задача:
переписать в совершенной нормальной дизъюнктивной форме
f(*, y, z) = (* ~ y) V ((z + 1) > xyz).
Как я поняла, надо сначала составить таблицу истинности для f и выписать значения, при которых f=1.
Проблема в том, что я не понимаю, как расценивать z + 1.
«+» это дизъюнкция?
тогда для z+
z |1 |z+1
0 |1 |1
1 |1 |1
так?
сессия чтоли?)
да чот пиздец, накрыло внезапно «) я думала, уже всё, ан нет, не всё «)
сам с сессией парюсь, мне правда достались интегралы)
как правило, если просто плюс, то дизъюнкция, если плюс в кружочке сложение по модулю два, оно же исключающее или, оно же XOR. у тебя же z+1 дано в примере, что заведомо было бы равно единице, и рядом же дизъюнкция обозначена подругому. значит это сложение по модулю два.
дальше, я думаю понятно, выписываешь все наборы (*,y,z) аргументов функции, в которых она 1 и в соответствии им строишь элементарные конъюнкции по правилу: если переменная в наборе равна нулю, то пишем её с отрицанием, если 1 без отрицания. например, набору *=0 y=1 z=1 соответствует элем. конъюнкция (!*)yz
спасибо!