Цели:
В результате прохождения занятия студент должен: - знать:
- определения основных понятий (простое и сложное высказывания, логические операции, логические выражения, логическая функция);
- порядок выполнения логических операций;
- алгоритм построения таблиц истинности;
- правила построения логической функции по таблице истинности;
- законы логики и правила преобразования логических выражений;
- логические функции и правила работы с функциями в приложении MS Excel;
- уметь:
- применять определения для решения задач логики;
- применять загоны логики для упрощения логических выражений;
- строить таблицы истинности и логические функции;
- использовать инструментарий приложения MS Excel для решения задач.
Рекомендации: - прочитать материал электронного учебного пособия;
- разобрать примеры;
- выполнить задания по данной теме используя приложение MS Excel.
Задания: - Установите, какие из следующих предложений являются логическими высказываниями, а какие — нет (объясните почему):
- "Солнце есть спутник Земли";
- "2+3?4";
- "сегодня отличная погода";
- "в романе Л.Н. Толстого "Война и мир" 3 432 536 слов";
- "Санкт-Петербург расположен на Неве";
- "музыка Баха слишком сложна";
- "первая космическая скорость равна 7.8 км/сек";
- "железо — металл";
- "если один угол в треугольнике прямой, то треугольник будет тупоугольным";
"если сумма квадратов двух сторон треугольника равна квадрату третьей, то он прямоугольный".
- Укажите, какие из высказываний предыдущего задания истинны, какие — ложны, а какие относятся к числу тех, истинность которых трудно или невозможно установить.
- Составьте таблицы истинности логических выражений:
- А Ú (¬B Ù C) .
- ¬ (А Ú B) Ù (A Ù ¬ B) .
- (А Ú B) Ú (C Ù B) .
- Составьте логическую функцию F (X, Y, Z) для заданной таблицы истинности:
X | Y | Z | F | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 |
- Выражение (¬(¬А) Ù С) Ú B Ù (¬C) равносильно:
а) A Ú (¬C) ; б) (¬A) Ú B; в) A Ù (¬C).
Источник: http://qo.do.am |