Полное соответствие между логическими высказываниями в булевой алгебре и цифрами в двоичной системе счисления позволяет описывать работу логических схем компьютера, проводить их анализ и синтез с помощью математического аппарата алгебры логики.
Эту функцию называют также «штрих Шеффера».
Функция y1 (1,0,0,0) – отрицание дизъюнкции (операция ИЛИ-НЕ), т.е. . Данная функция обращается в единицу только в том случае, если аргументы x1 и x2 одновременно равны нулю, во всех остальных случаях она равна нулю.
Эту функцию называют также «штрих Пирса».
Функция y6 (0,1,1,0) – отрицание эквивалентности (или неравнозначность) переменных x1 и x2. Запись читается как «x1 неравнозначно x2». Эта функция равна 1 только в том случае, если значения x1 и x2 не равны.
Функция y13 (1,0,1,1) – импликация x2 в x1, которая обращается в нуль только в том случае, если переменная x2 равна 1, а x1 – 0; в остальных случаях функция импликации x2 в x1 равна 1. Данная функция обозначается x2 → x1 и читается как «если x2, то x1»:
Функция y2 (0,1,0,0)– отрицание импликации x2 в x1, т. е. . . Эта функция обращается в 1 только в том случае, если переменная x2 равна 1, а x1 – 0, в остальных случаях функция импликации x2 в x1 равна 0.
Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.
Email: Нажмите что бы посмотреть