[Список тем]

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

Законы логики

Цель работы:

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

Задание 1

Ответьте на вопросы тестов:
  1. Тест № 1: Основные логические операции 15 вопросов.
  2. Тест № 2: Основные равносильности алгебры логики 15 вопросов.
При вызове тестов выбирайте "открыть" вместо "сохранить" и подтверждение открытия при предупреждении системы безопасности.
После завершения каждого теста предъявите результат преподавателю.
  • Тест № 6: Основы логические операции.
  • Тест № 7: Законы логики.

    Задание 2 (писменное)

      Для представленного ниже логичекого выражения получите:
    1. СДНФ, используя законы логики.
    2. СКНФ, используя законы логики.
    3. СДНФ и СКНФ, используя таблицу истинности.
      1 вариант: a → (b ↔ c)
      2 вариант: ¬a ↔ (b & c)
      3 вариант: a ↔ (¬b & c)
      4 вариант: ¬a ↔ (¬b & c)
      5 вариант: a ↔ (b & ¬c)
      6 вариант: ¬a ↔ (b & ¬c)
      7 вариант: ¬a ↔ (¬b & ¬c)
      8 вариант: a ↔ (¬b & ¬c)
      9 вариант: a ↔ (b → c)
      10 вариант: ¬a ↔ (b → c)
      11 вариант: a ↔ (¬b → c)
      12 вариант: ¬a ↔ (¬b → c)
      13 вариант: a ↔ (b → ¬c)
      14 вариант: ¬a ↔ (b → ¬c)
      15 вариант: ¬a → (¬b ↔ ¬c)
      16 вариант: a ↔ (¬b → ¬c)
    4. Решите задачу.
      Определите количество натуральных чисел от 0 до 1800, которые не делятся нацело ни на один из делителей:
      1 вариант: 2, 3, 5, 11
      2 вариант: 2, 3, 5, 13
      3 вариант: 2, 3, 5, 17
      4 вариант: 2, 3, 7, 11
      5 вариант: 2, 3, 7, 13
      6 вариант: 2, 3, 7, 17
      7 вариант: 2, 5, 7, 11
      8 вариант: 2, 5, 7, 13
      9 вариант: 2, 5, 7, 17
      10 вариант: 3, 5, 7, 11
      11 вариант: 3, 5, 7, 13
      12 вариант: 3, 5, 7, 17
      13 вариант: 2, 3, 11, 13
      14 вариант: 2, 5, 11, 13
      15 вариант: 2, 3, 11, 17
      16 вариант: 2, 5, 11, 17

    [Список тем]