Лабораторная_работа_№2_Логические_основы_информатики (1). Основные понятия математической логики

• Название: Основные понятия математической логики
• Дата: 14.03.2022
• Размер: 119.5 Kb.
• Имя файла: Лабораторная_работа_№2_Логические_основы_информатики (1).doc
• Тип: Лабораторная работа; #395729

Лабораторная работа № 2

Тема:«Основные понятия математической логики»

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

Порядок выполнения работы

1. 
   Рассмотреть основные понятия алгебры логики высказываний.
   
2. 
   Изучить правила применения логических операций над высказываниями.
   
3. 
   Научиться находить значения логических выражений посредством построения таблиц истинности.
   

Теоретическая часть

Логика – это раздел математики изучающий законы и формы мышления, а также методы установления истинности или ложности высказываемых суждений.

Таблица 1 – Основные понятия алгебры логики

Понятие	Описание
Высказывание истина – 1, +, «да», T (true – истина); ложь – 0, –, «нет», F (false – ложь).	Суждение, выраженное повествовательным предложением, о котором можно сказать истинно оно или ложно. Высказывания подразделяются на простые и сложные (составные). Каждому высказыванию ставится в соответствие логическая переменная, обозначаемая прописной буквой латинского алфавита. Например, высказывание А  «Клавиатура – устройство для ввода информации в системный блок» (А = 1) и В  «ВЗУ располагается внутри системного блока» (В = 0).
Логическая связка	Операция, позволяющая определить истинность составного высказывания, образованного простыми высказываниями.
Таблица истинности	Таблица, устанавливающая соответствие между возможными наборами значений логических переменных и значениями составных высказываний.

Таблица 2 – Логические операции над высказываниями

Логическая операция	Название	Обозначение
Конъюнкция Логическое умножение	И	, &, ·
Дизъюнкция Логическое сложение	Или	, +
Инверсия Логическое отрицание	Не	¯, ﹁
Импликация Логическое следование	Если …, то …	→, ⇒
Эквиваленция Логическое отражение	Тогда … только тогда, когда …	↔, ⇔

Таблица 3 – Таблица истинности логических операций

		Инверсия	Конъюнкция	Дизъюнкция	Импликация	Эквивалентность
А	В	﹁А	АВ	АВ	А⇒В	А⇔В
0	0	1	0	0	1	1
1	0	0	0	1	0	0
0	1	1	0	1	1	0
1	1	0	1	1	1	1

Логические операции имеют следующий приоритет:

– действия в скобках;

– инверсия;

– конъюнкция;

– дизъюнкция;

– импликация;

– эквиваленция.

Практическая часть

Задание 1.Найти значение логического выражения.

Варианты	Задание	Варианты	Задание
1.	(1  1)  (1  0)	7.	(1  0)  (1  0)  (1 → 0)
2.	((0  1)  1) л 0  1	8.	﹁ (1  1  0) ↔ (﹁ 1  1)
3.	((1  0)  (1  1))  (0  1)	9.	((1  0) л (1  1)) л (0  1)
4.	(0  1) → (1  1)	10.	((0  1)  1)  0  1
5.	(1  1  0) ↔ (﹁ 1  1)	11.	(1  ﹁ 1)  (1  0)
6.	﹁ ((1 → 0) ↔ (1  1)  1)	12.	((1 → 0) ↔ (1  1)  1)

Задание 2.Определить, какой из знаков: конъюнкции или дизъюнкции, необходимо поставить вместо знака «?», чтобы логическое выражение (если это возможно) при любых значениях высказываний А и В всегда принимала значение «истина».

Варианты	Задание	Варианты	Задание
1.	(А  В) ? (﹁ В  В)	7.	(﹁ А  А) ? (﹁ В  ﹁ В)
2.	(А  А) ? (﹁ В  А)	8.	(А  А) ? (﹁В  ﹁ В)
3.	(А л А) ? (﹁ В  В)	9.	(﹁ А  ﹁ А) ? (﹁ В  ﹁ В)
4.	(﹁ А  ﹁ А) ? (﹁ В  В)	10.	(В  В) ? (А  А)
5.	(А  А) ? (﹁ В  ﹁ В)	11.	(﹁ А  ﹁ А) ? (﹁ В  ﹁ В)
6.	(﹁ В  ﹁ В) ? (﹁ А  В)	12.	(В  ﹁ А) ? (А  ﹁ В)

Задание 3. Для исходной логической функции построить таблицу истинности.

Варианты	Задание	Варианты	Задание
1.	(А  В)  (А  С)  (В → С)	7.	(С  ﹁ А)  (﹁ В  А)
2.	((А  С)  ﹁ В)  (В  А)	8.	(﹁ А  В  С) ↔ ﹁ (В  А)
3.	((С  ﹁ В)  (А  С))  (А  В)	9.	((В  В) л (С  С)) л (А л С)
4.	((В  А)  А) л (С  ﹁ С)	10.	(В  В) → ((А  А) л (С  ﹁С))
5.	(С  ﹁ А)  (﹁ В  А)	11.	(А  В  А) ↔ ( С  ﹁ С)
6.	((В  С)  (﹁  А))  (С  ﹁В)	12.	((﹁ А → В) ↔ (С л С)  В)

Контрольные вопросы

1. 
   Дайте определение понятию «логика».
   
2. 
   Что такое высказывание?
   
3. 
   Приведите пример истинного простого высказывания.
   
4. 
   Приведите пример ложного простого высказывания.
   
5. 
   Что принято понимать под логической связкой?
   
6. 
   Перечислите известные вам логические операции.
   
7. 
   В какой последовательности принято выполнять логические операции над высказываниями?
   
8. 
   Для чего предназначены таблицы истинности?
   

ПРИЛОЖЕНИЕ

ПРИМЕР ВЫПОЛНЕНИЯ РАБОТЫ

Задание 1.Найти значение логического выражения.

(﹁ 0  ﹁ 1)  (1  0)

1) Вначале, к заключенному в первых скобках сложному высказыванию, в соответствии с приоритетом логических операций, применим операцию инверсии, т.е.:
(﹁ 0  ﹁ 1) = (1  0), а затем операцию дизъюнкции – (1  0) = 1.

2) К сложному высказыванию, расположенному во вторых скобках: (1  0), применим операцию конъюнкции, что приводит к его значению – 0 (ложь).

3) В заключение, применим к рассмотренным частям логического выражения операцию конъюнкции и получим окончательное решение:

(﹁ 0  ﹁ 1)  (1  0) = (1  0)  (0) = 1  0 = 0.

Ответ: 0 (ложь).
Задание 2. Определить, какой из знаков: конъюнкции или дизъюнкции, необходимо поставить вместо знака «?», чтобы логическое выражение (если это возможно) при любых значениях высказываний А и В всегда принимала значение «истина».

(А  А) ? (﹁ В  ﹁ В).

1) Сложные высказывания, находящиеся в скобках логического выражения, при выполнении операций конъюнкции могут иметь как значение «истина», так и значение «ложь».

2) Для исходного логического выражения построим таблицу всех возможных значений:

А	В	А  А	﹁ В	﹁ В  ﹁ В	(А  А)  (﹁ В  ﹁ В)	(А  А)  (﹁ В  ﹁ В)
0	0	0	1	1	0	1
0	1	0	0	0	0	0
1	0	1	1	1	1	1
1	1	1	0	0	0	1

3) Посмотрим результат двух последних столбцов. Из таблицы видно, что логическое выражение в обоих случаях (операция конъюнкция, операция дизъюнкция) НЕ всегда принимает значение «истина».
Ответ: При любых значениях А и В логическое выражение не может принимать значение только «истина».

Задание 3. Для исходной логической функции построить таблицу истинности.

((А  В) → (А → С))  А.

1. 
   Построение таблицы истинности начнем с ввода в таблицу возможных наборов значений исходных логических переменных А, В, С.
   
2. 
   На втором шаге определим последовательность выполнения логических операций (приоритет). Для каждой части логического выражения выделим в таблице соответствующие столбцы.
   
3. 
   Проведем заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.
   

Ответ:

А	В	С	А  В	А → С	(А  В) → (А → С)	((А  В) → (А → С))  А
0	0	0	0	1	1	1
0	0	1	0	1	1	1
0	1	0	0	1	1	1
1	0	0	0	0	1	1
0	1	1	0	1	1	1
1	1	0	1	0	0	1
1	0	1	0	1	1	1
1	1	1	1	1	1	1