КАТЕГОРИИ: Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748) |
Неравнозначность (отрицание эквивалентности).
Операция запрета. Операция Шеффера (несовместность). Несовместностью двух высказываний, называется высказывание, которое ложно, если истинны значения входящих в него высказываний. Функции имеет вид Результаты операции приведены в таблице.
Операцией запрета называется высказывание, которое истинно, если значение входящего в него высказывания истинно, а ложно. Функции записывается в виде
Неравнозначностью двух высказываний, называется отрицание равнозначности двух высказываний. Запись функции имеет вид Результаты приведены в таблице истинности.
Следует заметить, что функции и , и , и , и взаимно инверсны, т.е. одна из них является отрицанием другой. Докажем справедливость данного утверждения. , т.е.
, т.е.
, т.е.
, т.е.
Из вышеизложенного следует, что существует возможность выражения одних логических функций через другие. Все рассмотренные функции являются элементарными. Посредством данных функций можно выразить любую сложную логическую функцию. Следует заметить, что для этого достаточно использовать не все элементарные функции, а лишь ту или иную часть их, называемую системой. Система называется функционально полной, если через нее можно выразить любую функцию алгебры логики. Как правило, этот набор является минимальным. Примерами полных систем являются следующие системы:
· · · · · Часто в качестве базовой является первая полная система, т.к. описывающие элементы и узлы компьютеров, логические функции легко записываются через данную систему. Кроме того, она предоставляет значительные удобства преобразования исходных функций, что важно при их упрощении, т.е. минимизации. Элементарные функции можно выразить через функции первой полной системы: ·
·
·
·
·
·
Дата добавления: 2014-11-29; Просмотров: 2412; Нарушение авторских прав?; Мы поможем в написании вашей работы! Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет |