Банк рефератов содержит более 364 тысяч рефератов, курсовых и дипломных работ, шпаргалок и докладов по различным дисциплинам: истории, психологии, экономике, менеджменту, философии, праву, экологии. А также изложения, сочинения по литературе, отчеты по практике, топики по английскому.
Полнотекстовый поиск
Всего работ:
364150
Теги названий
Разделы
Авиация и космонавтика (304)
Административное право (123)
Арбитражный процесс (23)
Архитектура (113)
Астрология (4)
Астрономия (4814)
Банковское дело (5227)
Безопасность жизнедеятельности (2616)
Биографии (3423)
Биология (4214)
Биология и химия (1518)
Биржевое дело (68)
Ботаника и сельское хоз-во (2836)
Бухгалтерский учет и аудит (8269)
Валютные отношения (50)
Ветеринария (50)
Военная кафедра (762)
ГДЗ (2)
География (5275)
Геодезия (30)
Геология (1222)
Геополитика (43)
Государство и право (20403)
Гражданское право и процесс (465)
Делопроизводство (19)
Деньги и кредит (108)
ЕГЭ (173)
Естествознание (96)
Журналистика (899)
ЗНО (54)
Зоология (34)
Издательское дело и полиграфия (476)
Инвестиции (106)
Иностранный язык (62792)
Информатика (3562)
Информатика, программирование (6444)
Исторические личности (2165)
История (21320)
История техники (766)
Кибернетика (64)
Коммуникации и связь (3145)
Компьютерные науки (60)
Косметология (17)
Краеведение и этнография (588)
Краткое содержание произведений (1000)
Криминалистика (106)
Криминология (48)
Криптология (3)
Кулинария (1167)
Культура и искусство (8485)
Культурология (537)
Литература : зарубежная (2044)
Литература и русский язык (11657)
Логика (532)
Логистика (21)
Маркетинг (7985)
Математика (3721)
Медицина, здоровье (10549)
Медицинские науки (88)
Международное публичное право (58)
Международное частное право (36)
Международные отношения (2257)
Менеджмент (12491)
Металлургия (91)
Москвоведение (797)
Музыка (1338)
Муниципальное право (24)
Налоги, налогообложение (214)
Наука и техника (1141)
Начертательная геометрия (3)
Оккультизм и уфология (8)
Остальные рефераты (21697)
Педагогика (7850)
Политология (3801)
Право (682)
Право, юриспруденция (2881)
Предпринимательство (475)
Прикладные науки (1)
Промышленность, производство (7100)
Психология (8694)
психология, педагогика (4121)
Радиоэлектроника (443)
Реклама (952)
Религия и мифология (2967)
Риторика (23)
Сексология (748)
Социология (4876)
Статистика (95)
Страхование (107)
Строительные науки (7)
Строительство (2004)
Схемотехника (15)
Таможенная система (663)
Теория государства и права (240)
Теория организации (39)
Теплотехника (25)
Технология (624)
Товароведение (16)
Транспорт (2652)
Трудовое право (136)
Туризм (90)
Уголовное право и процесс (406)
Управление (95)
Управленческие науки (24)
Физика (3463)
Физкультура и спорт (4482)
Философия (7216)
Финансовые науки (4592)
Финансы (5386)
Фотография (3)
Химия (2244)
Хозяйственное право (23)
Цифровые устройства (29)
Экологическое право (35)
Экология (4517)
Экономика (20645)
Экономико-математическое моделирование (666)
Экономическая география (119)
Экономическая теория (2573)
Этика (889)
Юриспруденция (288)
Языковедение (148)
Языкознание, филология (1140)

Реферат: Алгебра логики

Название: Алгебра логики
Раздел: Рефераты по математике
Тип: реферат Добавлен 10:44:53 04 января 2011 Похожие работы
Просмотров: 23 Комментариев: 3 Оценило: 0 человек Средний балл: 0 Оценка: неизвестно     Скачать

Лекция. Алгебра логики

Кроме обычной алгебры существует специальная, основы которой были заложены английским математиком XIX века Дж. Булем. Эта алгебра занимается так называемым исчислением высказываний.

Ее особенностью является применимость для описания работы так называемых дискретных устройств, к числу которых принадлежит целый класс устройств автоматики и вычислительной техники.

При этом сама алгебра выступает в качестве модели устройства. Это означает, что работа произвольного устройства указанного типа может быть лишь в каком-то отношении описана с помощью построений этой алгебры. Действительное реальное устройство физически работает не так, как это описывает алгебра логики. Однако применение положений этой теории позволяет сделать ряд полезных в практическом отношении обобщений.

Рассмотрим некоторую схему и представим ее в виде так называемого "черного" ящика.

Будем считать, что внутреннее содержимое ящика неизвестно.

X1 ,X2 ,X3 – входные сигналы, F – выходной сигнал.

Считаем также, что схема А – элементарная, т.е. нет другой схемы Б, меньшей, чем А, которая бы содержалась в А.

Построим абстрактное устройство из элементарных устройств, типа А, Б, В и т.д. Очевидно, более сложное устройство можно построить из простых путем:

1. последовательного соединения элементов;

2. параллельного соединения;

3. перестановки входов элементов.

Тогда роль Y1 для второго элемента Б будет играть:

Y1 =FА (X1 ,X2 ,X3 )Y2 =FБ (X1 ,X2 )F=F(Y1 ,Y2 )=F(FА (X1 ,X2 ,X3 ),FБ (X1 ,X2 ))

Параллельное соединение элементов не меняет функции, поэтому, с точки зрения логики, этот тип соединения не используется. Физически иногда все же применяют параллельное соединение элементов, но в основном для того, чтобы, например, усилить сигнал.

В связи с этим, параллельное соединение элементов в алгебре логики не рассматривается.

Функция, которую выполняет элемент, вообще говоря, зависит от переменных, которые подаются на вход.

Поэтому перестановка аргументов влияет на характер функции.


F=F(FА (X1 ,X2 ,X3 ),FБ (X2 ,X3 ))

F(FБ (X2 ,X3 ),FА (X1 ,X2 ,X3 ))

Таким образом, произвольные, сколь угодно сложные в логическом отношении схемы, можно строить, используя два приема:

1. последовательное соединение элементов;

2. перестановка входов элементов.

Этим двум физическим приемам в алгебре логики соответствуют:

1. принцип суперпозиции (подстановка в функцию вместо ее аргументов других функций);

2. подстановка аргументов (изменение порядка записи аргументов функций или замена одних аргументов функции другими).

Итак, физическая задача построения и анализа работы сложного устройства заменяется математической задачей синтеза и анализа соответствующих функций алгебры логики.

Элементарные функции алгебры логики

Существует несколько синонимов по отношению к функциям алгебры логики:

1. функции алгебры логики (ФАЛ);

2. переключательные функции;

3. булевские функции;

4. двоичные функции.

По мере необходимости будем пользоваться всеми этими синонимами.

Рассмотрим некоторый набор аргументов:

<X1 ,X2 ,X3 ,...Хi ,...Xn >

и будем считать, что каждый из аргументов принимает только одно из двух возможных значений, независимо от других

Чему равно число различных наборов?

Xi = {0, 1}

Поставим каждому набору в соответствие некоторое двоичное число:

X1 ,X2 ,...........Xn 0, 0,...........,0 нулевой набор0, 0,...........,1 первый набор0, 0,..........1,0 второй набор...................1, 1,...........,1 (2n -1)-ый набор

Очевидно, что количество различных X1 ,X2 ,...........Xn n-разрядных чисел в позиционной двоичной системе есть 2n .

Допустим, что некоторая функция F(X1 ,X2 ,....Xn ) задана на этих наборах и на каждом из них она принимает либо '0'-ое, либо '1'-ое значение.

Такую функцию называют функцией алгебры логики или переключательной функцией.

Чему равно число различных переключательных функций 'n' аргументов?

Т.к. функция на каждом наборе может принять значение '0' или '1', а всего различных наборов 2n , то общее число различных функций 'n' аргументов есть: 22n .

По сравнению с аналитической функцией непрерывного аргумента даже для одного аргумента существует множество различных функций.

Число аргументов 1 2 3 4 5 10
Число различных перекл. ф-ций 4 16 256 65536 ~4*109 ~10300

Различные устройства ЭВМ содержат десятки и сотни переменных (аргументов), поэтому понятно, что число различных устройств, отличающихся друг от друга, практически бесконечно.

Итак, нужно научиться строить эти сложные функции (а стало быть, и устройства), а также анализировать их.

Задача синтеза более сложных функций заключается в представлении их через простые на основе операций суперпозиции и подстановки аргументов.

Таким образом, вначале необходимо изучить эти элементарные функции, чтобы на их основе строить более сложные.

ФАЛ одного аргумента

Чтобы задать ФАЛ, нужно задать ее значения на всех наборах аргументов.

Аргумент Х значение Наименование функции
0 1
F0 (x) 0 0 константа '0'
F1 (x) 0 1 переменная 'х'
F2 (x) 1 0 инверсия 'х' (отрицание х)
F3 (x) 1 1 константа '1'

Будем у функции ставить индекс, эквивалентный набору ее значений для соответствующих значений аргумента, начиная с 0,0,....,0,..... и т.д. в порядке возрастания.

Эти функции можно реализовать на 4-х элементах, каждый из которых имеет максимум один вход. Таким образом, принципом подстановки аргументов для построения более сложных функций нельзя воспользоваться.

Необходимо рассмотреть более сложные функции, т.е. ФАЛ 2х аргументов.

Дадим такие определения:

1. ФАЛ, принимающие одинаковые значения на всех наборах аргументов, называются равными.

2. ФАЛ существенно зависит от аргумента Хi , если

F(X1 ,X2 ,...,Хi-1 ,0,Xi+1 ,...,Xn ) F(X1 ,X2 ,...,Хi-1 ,1,Xi+1 ,...,Xn )

В противном случае она зависит не существенно, а соответствующий аргумент наз. фиктивным.

Например:

Х1 Х2 Х3 F(X1 ,X23 )
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1

Видно, что Х3 – фиктивный аргумент. Это показывает, что в функцию можно ввести любое число фиктивных аргументов, от которых она существенно не зависит. Этот прием в дальнейшем потребуется для выполнения ряда преобразований.

Все ФАЛ от 2-х аргументов. Сведем их в единую таблицу 2.1.

Таблица 2.1.
№ функции Значение функции на наборах логических переменных Наименование функции Обозначение функции
X1 0 0 1 1
X2 0 1 0 1
f0 (X1 ,X2 ) 0 0 0 0 Константа "ноль" f(X1 ,X2 )=0
f1 (X1 ,X2 ) 0 0 0 1 Конъюнкция, произведение f(X1 ,X2 )= X1 & X2 f(X1 ,X2 )= X1 X2 f(X1 ,X2 )= X1 · X2 f(X1 ,X2 )= X1 X2
f2 (X1 ,X2 ) 0 0 1 0 Запрет по X2 X1 Δ X2
f3 (X1 ,X2 ) 0 0 1 1 Переменная X1 f(X1 ,X2 )= X1
f4 (X1 ,X2 ) 0 1 0 0 Запрет по X1 X2 Δ X1
f5 (X1 ,X2 ) 0 1 0 1 Переменная X2 f(X1 ,X2 )= X2
f6 (X1 ,X2 ) 0 1 1 0 Сложение по mod2 (неравнозначность) f(X1 ,X2 )= X1 X2
f7 (X1 ,X2 ) 0 1 1 1 Дизъюнкция f(X1 ,X2 )= X1 X2 f(X1 , X2 )= X1 + X2
f8 (X1 ,X2 ) 1 0 0 0 Стрелка Пирса f(X1 , X2 )= X1 X2
f9 (X1 ,X2 ) 1 0 0 1 Равнозначность f(X1 , X2 )= X1 X2 f(X1 , X2 )= X1 ~X2
f10 (X1 ,X2 ) 1 0 1 0 Инверсия X2 f(X1 , X2 )=^X2 f(X1 , X2 )=X2
f11 (X1 ,X2 ) 1 0 1 1 Импликация от X2 к X1 f(X1 , X2 )= X2 X1
f12 (X1 ,X2 ) 1 1 0 0 Инверсия X1 f(X1 , X2 )=^X1 f(X1 , X2 ) = X1
f13 (X1 ,X2 ) 1 1 0 1 Импликация от X1 к X2 f(X1 , X2 )= X1 X2
f14 (X1 ,X2 ) 1 1 1 0 Штрих Шеффера f(X1 , X2 )= X1 |X2
f15 (X1 ,X2 ) 1 1 1 1 Константа "единица" f(X1 , X2 )=1

Эти функции введены формально. Однако им можно придавать определенный "логический" смысл. Алгебра логики часто называется исчислением высказываний.

При этом под высказываниями понимается всякое предложение, относительно которого можно утверждать, что оно истинно или ложно.

Например:

В=<один плюс один - два>

есть истинное высказывание.

Рассмотрим, какое смысловое содержание можно вложить в некоторые сложные высказывания на примере ФАЛ 2-х аргументов.

Инверсия

Читается НЕ Х или Х с чертой, отрицание Х.

Возьмем, например, такое высказывание: А=<Киев-столица Франции>, тогда сложное высказывание НЕ А означает: не верно, что А, т.е. не верно, что <Киев-столица Франции>.

Из простых высказываний можно строить более сложные, применяя так называемые связи.

Логические связи – это ФАЛ, аргументами которых являются простые высказывания.

Конъюнкция

Возьмем 2 высказывания:

А=<Москва – столица РФ>В=<дважды два - четыре>

тогда сложное высказывание: А & В будет истинным, так как истинны оба этих высказывания.

Поскольку таблица истинности для конъюнкции совпадает с таблицей умножения, если истинному высказыванию приписать значение '1', а ложному - '0', то сложное высказывание можно назвать произведением.

X1 X2 f1 (X1 ,X2 )
0 0 0
0 1 0
1 0 0
1 1 1

Функция конъюнкции истинна тогда, когда истинны одновременно оба высказывания.

Дизъюнкция

Это сложное высказывание истинно тогда, когда истинно хотя бы одно высказывание, входящее в него.

X1 X2 f1 (X1 ,X2 )
0 0 0
0 1 1
1 0 1
1 1 1

Читается X1 ИЛИ X2 : Некоторое отличие от смысла союза "или", принятого в русском языке: в данном случае этот союз употребляется в смысле объединения, а не разъединения.

Логическая равнозначность

Это сложное высказывание истинно тогда, когда истинны или ложны одновременно оба высказывания.

Отсюда следует, что вне зависимости от смысла, равнозначными являются как истинные, так и ложные высказывания.

Например,

А=<дважды два - пять>B=<один плюс два - шесть>А~В равнозначны.
Импликация

Это сложное высказывание ложно только тогда, когда X1 – истинно, а X2 – ложно.

X1 X2 f1 (X1 ,X2 )
0 0 1
0 1 1
1 0 0
1 1 1

Читается: если X1 , то X2 . При этом X1 – посылка, X2 – следствие.

Если посмотреть на таблицу истинности, то может показаться странным название этой функции, т.к. из него следует, что истинным может быть высказывание, составленное из двух ложных.

Но в действительности, все верно, т.к. содержанием высказываний в алгебре логики не интересуются.

Тогда из ложной посылки может следовать ложное следствие и это можно считать верным: <если Киев – столица Франции>, то <2-квадрат 3>.

Эквивалентности

В некоторых случаях сложное и длинное высказывание можно записать более коротким и простым без нарушения истинности исходного высказывания. Это можно выполнить с использованием некоторых эквивалентных соотношений.

Дизъюнкция:

х х х х ... х х х= х,

т.е. истинность высказывания не изменится, если его заменить более коротким, таким образом, это правило приведения подобных членов:

– постоянно истинное высказывание.

0 x = x

x1 x2 = x2 x1


- (переместительный) коммуникативный закон.

x1 х2 х3 = (x1 х2 ) х3 = x1 2 х3 )

- сочетательный закон.

Конъюнкция:

х х х х... х х х= х

правило приведения подобных членов:

- постоянно ложное высказывание

- постоянно ложное высказывание

Сложение по mod 2
1

при нечетном числе членов, 0 - при четном числе членов

Правило де Моргана


Докажем для двух переменных с помощью таблицы истинности:

Х1 Х2 1 2
0 0 1 1
0 1 1 1
1 0 1 1
1 1 0 0

Операция поглощения:

Х XY = X

или в общем виде

X X*f(X,Y,Z...) = X;

Операция полного склеивания:

(по Y)(по Х)

Операция неполного склеивания:

Оценить/Добавить комментарий
Имя
Оценка
Комментарии:
Где скачать еще рефератов? Здесь: letsdoit777.blogspot.com
Евгений08:52:09 19 марта 2016
Кто еще хочет зарабатывать от 9000 рублей в день "Чистых Денег"? Узнайте как: business1777.blogspot.com ! Cпециально для студентов!
12:07:15 29 ноября 2015
Кто еще хочет зарабатывать от 9000 рублей в день "Чистых Денег"? Узнайте как: business1777.blogspot.com ! Cпециально для студентов!
23:28:57 28 ноября 2015

Работы, похожие на Реферат: Алгебра логики

Назад
Меню
Главная
Рефераты
Благодарности
Опрос
Станете ли вы заказывать работу за деньги, если не найдете ее в Интернете?

Да, в любом случае.
Да, но только в случае крайней необходимости.
Возможно, в зависимости от цены.
Нет, напишу его сам.
Нет, забью.



Результаты(151149)
Комментарии (1843)
Copyright © 2005-2016 BestReferat.ru bestreferat@mail.ru       реклама на сайте

Рейтинг@Mail.ru