Практическая работа. Тема:«Логические основы информатики»

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

Тема:«Логические основы информатики»

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

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

1. Рассмотреть основные понятия алгебры логики высказываний.

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

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

Теоретические сведения

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

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

Логические операции над высказываниями

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

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

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

– инверсия;

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

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

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

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

Практическая работа

Задание 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 (ложь).

Варианты к заданию 1.

Задание 2.

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

Пример: (А Ù А) ? (﹁ В Ù ﹁ В).

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

Ответ: Логическое выражение не может принимать значение только «истина».

Варианты к заданию 2.

Задание 3.

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

Пример: ((А Ù В) → (А → С)) Ú А.

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

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

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

Ответ:

Варианты к заданию 3.

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

1. Дайте определение понятию «логика».

2. Что такое высказывание?

3. Приведите пример истинного простого высказывания.

4. Приведите пример ложного простого высказывания.

5. Что принято понимать под логической связкой?

6. Перечислите известные вам логические операции.

7. В какой последовательности принято выполнять логические операции над высказываниями:

8. Для чего предназначены таблицы истинности?