Информатика и вычислительная техника


Логические функции двух переменных - часть 2


Данная функция обращается в единицу, если совпадают значения аргументов; в остальных случаях она равна нулю. Обозначается эквивалентность знаком ~, который читается как "равнозначно".
  • f6(х, у) - отрицание эквивалентности или неравнозначности переменных х и у. Запись х ~ у читается как "х не равнозначно у". Можно убедиться, что значения функции неравнозначности получаются поразрядным сложением переменных х и у по модулю 2, т.е. без учета переноса в старший разряд.
  • f11(х, у) - импликация от х к у, которая обращается в нуль только в том случае, если х = 1, а у = 0; в остальных случаях функция импликации от х к у равна единице. Данная функция обозначается х > у и читается как "если х, то у".
  • 109

    1. f4(х, у) - отрицание импликации от х к у, т.е. х > у. Данную функцию можно рассматривать как функцию запрета со стороны переменной у. Это означает, что функция х > у обращается в нуль, если переменная у равна единице; в остальных случаях она повторяет переменную х.
    2. f13(х, у) - импликация от у к х, которая обращается в нуль только в том случае, если у = 1, а х = 0; в остальных случаях функция импликации от у к х равна единице. Данная функция обозначается у > х и читается как "если у, то х".
    3. f2(х, у) - отрицание импликации от у к х, т.е. у > х. Данную функцию можно рассматривать как функцию запрета со стороны переменной х. Это означает, что функция у > х обращается в нуль, если переменная х равна единице; в остальных случаях она повторяет переменную у.
    4. f12(х, у) - функция, повторяющая значения переменной х, т.е. f12(x, у) = x.
    5. f3(х, у) - функция отрицания переменной х, т.е. f3(х, у) = х.
    6. f10(х, у) - функция, повторяющая значения переменной у, т.е. f10(х, у) = у.
    7. f5(х, у) - функция отрицания переменной у, т.е. f5(х, у) = у.
    8. f0(х, у) - функция, тождественно равная нулю, т.е. f0(х, у) = 0.
    9. f15(х, у) - функция, тождественно равная единице, т.е. f15(х, у) = 1.

    110

    108 :: 109 :: 110 :: Содержание




    Начало  Назад  Вперед