Содержание

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

3

1.

Формы мышления .............................................................................................................

3

1.1.

Логика — это наука о формах и способах мышления...............................................

3

1.2.

Понятие ..........................................................................................................................

3

1.3.

Высказывание ................................................................................................................

4

1.4.

Умозаключение .............................................................................................................

5

2.

Алгебра логики..................................................................................................................

6

2.1.

Логическое умножение (конъюнкция)........................................................................

7

2.2.

Логическое сложение (дизъюнкция) ...........................................................................

8

2.3.

Логическое отрицание (инверсия) ...............................................................................

9

2.4.

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

10

2.5.

Логическое тождество (эквиваленция) .....................................................................

10

2.6.

Операция «ИСКЛЮЧАЮЩЕЕ ИЛИ» ......................................................................

11

3.

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

12

4. Логические выражения и таблицы истинности ...........................................................

13

4.1.

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

13

4.2.

Таблицы истинности ...................................................................................................

14

4.3.

Равносильные логические выражения ......................................................................

15

5. Построение таблиц истинности для сложных выражений .........................................

16

6.

Логические функции.......................................................................................................

17

6.1.

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

18

6.2.

Логическое равенство (эквивалентность) .................................................................

19

7.

Логические законы и правила преобразования логических выражений ..................

20

7.1.

Закон тождества...........................................................................................................

20

7.2.

Закон непротиворечия ................................................................................................

20

7.3.

Закон исключённого третьего ....................................................................................

20

7.4.

Закон двойного отрицания .........................................................................................

21

7.5.

Законы де Моргана (общей инверсии) ......................................................................

21

7.6.

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

21

7.7.

Закон ассоциативности (сочетательный) ..................................................................

21

7.8.

Закон дистрибутивности (распределительный) .......................................................

22

8.

Логические элементы .....................................................................................................

22

8.1.

Простейший логический элемент НЕ (инвертор) ....................................................

23

Базовый набор операций .......................................................................................................

24

8.2.

Логический элемент И (конъюнктор) .......................................................................

24

8.3.

Логический элемент ИЛИ (дизъюнктор) ..................................................................

25

8.4.

Логический элемент «ИСКЛЮЧАЮЩЕЕ ИЛИ» ....................................................

25

9. Таблица 18 – Условные обозначения логических элементов компьютера ...............

26

10.

Вопросы для самопроверки........................................................................................

27

11.

Решение логических задач .........................................................................................

28

11.1.

Примеры решения задач .........................................................................................

28

11.2.

Тесты.........................................................................................................................

32

11.3.

Задания .....................................................................................................................

33

Библиографический список...................................................................................................

35

Содержание.............................................................................................................................

36