Булевая функция (X-Y)/(Z+T).

Тема в разделе "WASM.ZEN", создана пользователем DarkWanderer, 26 май 2010.

  1. DarkWanderer

    DarkWanderer New Member

    Публикаций:
    0
    Регистрация:
    11 июл 2006
    Сообщения:
    333
    Адрес:
    Барнаул.
    Что это за операции могут быть, если сказано только то, что она булевая?
    Встретилась в студенческой работе, непрофильный курс дискретной математики.
     
  2. DarkWanderer

    DarkWanderer New Member

    Публикаций:
    0
    Регистрация:
    11 июл 2006
    Сообщения:
    333
    Адрес:
    Барнаул.
    Может я что-то не то съел, но из шестнадцати бинарных функций таких обозначений не нашел. Может есть какая бестолковая аналогия?
     
  3. Mikl___

    Mikl___ Супермодератор Команда форума

    Публикаций:
    14
    Регистрация:
    25 июн 2008
    Сообщения:
    3.914
    DarkWanderer
    -Y= not Y + 1
    сложение А и В через логические операции --> Получение ча­стичной суммы A xor B и разрядов переноса 2*(A and B), из частичной суммы и разрядов переноса через OR будет сформирована новая частич­ная сумма и новые разряды переноса и так далее
    + 1011
    1110
    0101 частичная сумма
    1010 разряды переноса
    10001 частичная сумма
    0010 разряды переноса
    11001 частичная сумма
    0000 разряды переноса
    11001 полная сумма
    Процесс будет продолжаться до тех пор, пока либо частичная сумма, либо разряды переноса не станут равными нулю. Если числа A и B равны, то мы получим удвоение числа A на первом шаге.
    Вычитание чисел A и B произойдет аналогично сложению, с той только разницей, что значение B будет заменено на дополнительный к нему код.
    A - B = not(not(A)+B)
     
  4. Mikl___

    Mikl___ Супермодератор Команда форума

    Публикаций:
    14
    Регистрация:
    25 июн 2008
    Сообщения:
    3.914
    очепятка не OR а XOR
     
  5. DarkWanderer

    DarkWanderer New Member

    Публикаций:
    0
    Регистрация:
    11 июл 2006
    Сообщения:
    333
    Адрес:
    Барнаул.
    Mikl___
    Это понятно, спасибо, но как построить таблицу истинности? Если '-' '+' это сложение и вычитание, то '/' деление, а на ноль делить долго.
    Будь оно одно такое, было бы ладно. Но это задание среди прочих вида "преобразовать функцию", разложить по такой-то переменной". И тут должно быть что-то простое.
     
  6. DarkWanderer

    DarkWanderer New Member

    Публикаций:
    0
    Регистрация:
    11 июл 2006
    Сообщения:
    333
    Адрес:
    Барнаул.
    Чем больше его курю, тем больше в нем вижу логики. Только непонятной. Что ж я съел то..
    [​IMG]
     
  7. DarkWanderer

    DarkWanderer New Member

    Публикаций:
    0
    Регистрация:
    11 июл 2006
    Сообщения:
    333
    Адрес:
    Барнаул.
  8. Ustus

    Ustus New Member

    Публикаций:
    0
    Регистрация:
    8 авг 2005
    Сообщения:
    834
    Адрес:
    Харьков
    DarkWanderer
    Давно уже не встречал таких обозначений, но если мой склероз мне не изменяет, то "+" - это OR, "*" - AND, "/" - XOR, а "-" - то ли просто отрицание импликации то ли с операндами наоборот, т. е. a - b = NOT(NOT(a) OR b) = a AND NOT(b) или NOT(a) AND b, вот не помню точно.
     
  9. DarkWanderer

    DarkWanderer New Member

    Публикаций:
    0
    Регистрация:
    11 июл 2006
    Сообщения:
    333
    Адрес:
    Барнаул.
    Ustus
    Спасибо.
     
  10. Mikl___

    Mikl___ Супермодератор Команда форума

    Публикаций:
    14
    Регистрация:
    25 июн 2008
    Сообщения:
    3.914
    DarkWanderer
    А в этой студенческой работе есть ссылки на литературу? Может быть от этого плясать? Шестое чуство мне говорит, что там вообще о чем-то другом
     
  11. edemko

    edemko New Member

    Публикаций:
    0
    Регистрация:
    25 ноя 2009
    Сообщения:
    454
    #10
    Ccылки должны быть всегда.
    Возможно именно о написанном, у нас по матлогике были похожие задачи с раскрытием преступлений и эл-схемами.
    OR-AND-XOR - базовые операции над состояниями(те битами), которые так глупо мне казались перекрученными в dis/conjunction и тп хня.
    В теории одно, на практике другое.
     
  12. DarkWanderer

    DarkWanderer New Member

    Публикаций:
    0
    Регистрация:
    11 июл 2006
    Сообщения:
    333
    Адрес:
    Барнаул.
    Ну я уже сделал как посоветовал Ustus, если вернут на доработку буду думать дальше.