Работа в лаборатории
Для успешного проведения практических работ студент должен выполнить следующие требования:
Получить допуск к практической работе при предъявлении преподавателю отчёта по текущей практической работе
Уметь ответить на контрольные вопросы по практической работе, то есть проявить свои знания по теоретической части курса
Соблюдать правила по технике безопасности
Содержание отчёта:
Название практической работы
Фамилия и номер группы
Цель практической работы
Содержание индивидуального задания
Решение задания
Ответ
ХОД ЗАНЯТИЯ:
Изучение образцов решения логических задач:
представление высказываний в виде логической формулы.
запись на языке алгебры логики логических высказываний
применение законов алгебры логики для преобразования логических формул
построение таблиц истинности сложных высказываний
Решение индивидуального задания.
Ответы на контрольные вопросы.
Ход выполнения практической работы
А. Изучите образцы решения задач:
1. Логическая формула (логическое выражение)- формула, содержащая лишь логическое выражение и знаки логических операций.
Результатом вычисления логической формулы являются ИСТИНА ИЛИ ЛОЖЬ.
ПРИМЕР 1. Рассмотрим сложное высказывание: ”Число 6 делится на 2 , и число 6 делится на 3”. Представить данное высказывание в виде логической формулы.
Решение.
Обозначим через А простое высказывание “Число А делится на 2” , а через В простое высказывание “Число 6 делится на 3”.
Тогда соответствующая логическая формула имеет вид: A & B . очевидно, её значение истина.
ПРИМЕР 2 . Рассмотрим сложные высказывания: ”Летом я поеду в деревню или в туристическую поездку”. Представить данное высказывание в виде логической формулы.
Решение.
Обозначим через А простое высказывание “Летом я поеду на деревню”, а через В –простое высказывание ”Летом я поеду туристическую поездку .” тогда логическая форма сложного высказывания имеет вид: A V B.
Пример 3. Рассмотрим высказывание : “Неверно что 4 делится на 3”. Представить данное высказывание в виде логической формулы.
Решение.
Обозначим через А простое высказывание “4 делится на 3”
Тогда логическая форма отрицания этого высказывания имеет вид:
Р
=
A
или Р = А
.
Правила выполнения логических операций отражены в следующей таблице, которая называется таблицей истинности.
-
А
В
А
А & B
A V B
1
И
И
Л
И
И
2
И
Л
Л
Л
И
3
Л
И
И
Л
И
4
Л
Л
И
Л
Л
И- истина
Л- ложь
Пример 4. Записать на языке алгебры логики следующие высказывание: “Для солнечной погоды достаточно, чтобы не было ни ветра ни дождя”.
Решение.
Введём следующие простые высказывания:
С – солнечная погода. В – дует ветер, D – идет дождь Тогда приведенное высказывание будет записано так
Р = В * D C
Пример 5. Записать на языке алгебры логики следующие высказывание: “Я поеду в Москву и если встречу там друзей, то мы интересно проведем время”.
Решение.
М – я поеду в Москву
В – встречу там друзей
И – интересно проведём там время
Р=М * (В И)
?Пример 6. Опеределить значение функции P=x +xy+xy+(x+y).
Решение.P =x +xy+xy+(x+y) = x +xy + xy=x+x(y+y)=1.
?Пример 7. Опеределить значение функции