Логические основы построения компьютера

Автор работы: Пользователь скрыл имя, 05 Декабря 2013 в 16:04, реферат

Краткое описание

Немецкий ученый Лейбниц первым (в 1666 году) попытался перевести законы мышления (формальную логику) из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются в виде математических соотношений.
Спустя более ста лет, в 1816 году, уже после смерти Лейбница среди ученых шел разговор о создании логического универсального языка, подчиняющегося строгим математическим законам. В 1847 году Буль написал важную статью на тему «Математический анализ логики», а в 1854 году развил свои идеи в работе «Исследование законов мышления».

Содержание

1. Историческая справка.
2. Булева алгебра.
3Логические выражения.
3.1 Логическое отрицание.
3.2 Логическое сложение.
3.3 Логическое умножение.
3.4 Логическое следование.
3.5 Эквивалентность.
4.Построение таблиц.
5.Основные законы логики.
Историческая справка.

Вложенные файлы: 1 файл

Логические основы построения компьютера.docx

— 18.06 Кб (Скачать файл)

Логические основы построения компьютера.

Выполнили студенты 2-ого курса:

Жильцова Мария, Вакилова Айсылу, Галиуллина Алсу, Халиуллина Лилия

Содержание.

1. Историческая справка.

2. Булева алгебра.

3Логические выражения. 

3.1 Логическое отрицание.

3.2 Логическое сложение.

3.3 Логическое умножение.

3.4 Логическое следование.

3.5 Эквивалентность.

4.Построение таблиц.

5.Основные законы логики.

Историческая справка.

       Немецкий  ученый Лейбниц первым (в 1666 году) попытался перевести законы мышления (формальную логику) из словесного  царства, полного неопределенностей,  в царство математики, где отношения  между объектами или высказываниями  определяются в виде математических  соотношений.

        Спустя более ста лет, в 1816 году, уже после смерти Лейбница среди ученых шел разговор о создании логического универсального языка, подчиняющегося строгим математическим законам. В 1847 году Буль написал важную статью на тему «Математический анализ логики», а в 1854 году развил свои идеи в работе «Исследование законов мышления».    

 

     Буль изобрёл  своеобразную алгебру – систему  обозначений и правил, применимую  ко всевозможным объектам, от чисел и букв до предложений. Его именем она теперь и называется: алгебра Буля, или булева алгебра.

Булева алгебра.

Булева алгебра состоит  из компонентов:

         Логические  объекты ( выражения)

          Операции над логическими объектами

          Аксиомы и теоремы, регламентирующие  эти  

            операции     

Логические выражения

 

1.Логические                          2. Предикаты.

   утверждения

 

 

 

1. Логические утверждения  – это конкретные частные утверждения,  заведомо истинные или ложные, иначе говоря, это логические  константы.

Например:          2*2 = 4  ( истина)

  Волга впадает в Чёрное море.  (ложь)

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

Например: А +В >С (принимают  значения Истина или Ложь в зависимости  от значений А, В, С)

Логическое отрицание.

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

        Операция  означает, что к исходному логическому  выражению добавляют частицу  НЕ или слова НЕВЕРНО, ЧТО.  Обозначается значком

Логическое сложение.

 Логическое сложение  или Дизъюнкция, определяет логическое  соединение двух логических выражений  (высказываний) с помощью союза  ИЛИ. Обозначается значком

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

Логическое умножение.

         Логическое  умножение или Конъюнкция, определяет  соединение двух логических выражений  (высказываний) с помощью союза  И. Обозначается значком & или ٨.

 Эта операция ставит  в соответствие двум простым  логическим выражениям новое- сложное, которое будет истинным тогда и только тогда, когда истинны оба исходных (простых) логических выражения.  

Логическое следование.

        Логическое  следование или Импликация.

Эта операция связывает два  простых логических выражения, из которых  первое является условием, а второе- следствием из этого условия. Выражается словами ЕСЛИ…, ТО… Обозначается значком

         Результатом  импликации является ложь тогда  и только тогда, когда (А)  истинно, а следствие (В) ложно. 

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

        Эквивалентность  или Равнозначность.

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

        Результат  – новое логическое выражение,  которое является истинным тогда  и только тогда, когда оба  исходных выражения одновременно  истинны или ложны. 

Порядок выполнения логических операций.

1. Инверсия - ┐

2. Конъюнкция - & или ٨

3. Дизъюнкция – ۷

4. Импликация – 

5. Эквивалентность -

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

Например:  D = ┐( A ۷ B ٨ C)

Построение таблиц.

        Рассмотрим  пример построения таблицы истинности  для следующегося сложного (составного) логического выражения.                                                                                                   D = ┐A ٨ (B ۷ C) 

        Сначала  нужно установить число строк  и столбцов такой таблицы, то  есть спланировать форму таблицы.  При определении числа строк  необходимо некоторым образом  перебрать все возможные сочетания  логических значений 0 и 1 исходных  выражений А, В и С, из которых формируется заданное сложное логическое выражение.

      При добавлении  третьего аргумента сначала запишем  первые 4 строки таблицы, сочетания  их со значением третьего аргумента,  равным 0, а затем ещё раз запишем  эти же 4 строки, но теперь уже  со значением третьего аргумента,  равным 1. В результате в таблице  для трех аргументов окажется 8 строк (+ девятая строка –  шапка таблицы), и при таком  подходе легко проверить, что  мы действительно не повторили  и не пропустили ни одного  возможного сочетания логических  значений аргументов – исходных  выражений А, В, С

 

Существует закономерность:

 для любого числа  N аргументов сложного логического  выражения таблица истинности  содержит 2n строк, а также строку  заголовка (шапка таблицы).

        Количество  столбцов таблицы истинности  для её построения выбирают  равным М. Эти столбцы соответствуют  значениям исходных выражений  А, В, С, промежуточных результатов   ┐А, (В ۷ С), а также искомого окончательного результата- значения сложного арифметического выражения

         ┐А ٨ (В ۷ С)     

 

    Построим таблицу  сложного логического                                                          выражения.

Основные законы логики.

1.Отсутствие степеней  и коэффициентов (идемпотентность): А ٨ А= А;  А ۷ А= А

2.Двойное отрицание (инволюция): ¬(¬А) = А

3.Закон исключения третьего: А۷¬ А=1(всегда истина)

4.Закон противоречия: А ٨ ¬ А= 0 (всегда ложь)

5.Независимость от перестановки  мест (коммутативность): А۷ В= В ۷ А; А ٨ В = В ٨ А

6. Независимость от порядка  выполнения однотипных действий (ассоциативность):

     (А۷В) ۷ С = А ۷ (В۷С); (А٨В) ٨ С = А ٨ (В٨С).

7. Дистрибутивность (распределение): Умножения-

(А۷В) ٨ С = (А٨С) ۷ (В٨С)   и наоборот:

(А٨В) ۷ (В٨С) = В ٨ (А۷С).

Сложения- А۷В٨С = (А۷В) ٨ (А۷С).

8. Законы де Моргана:

а) Отрицание одновременной  истинности:¬(А٨В)= ¬А۷¬В

б) Отрицание вариантов: ¬ (А۷В) = ¬А ٨¬В

б) Отрицание вариантов: ¬ (А۷В) = ¬А ٨¬В

Используемая литература. 
1.Макарова Н.В. /методическое пособие

2.Макарова Н.В. /практикум  по информационным технологиям.


Информация о работе Логические основы построения компьютера