1. Главная
  2. Библиотека
  3. Логика
  4. Постройте таблицы истинности для сложных логических выр...
Разбор задачи

Постройте таблицы истинности для сложных логических выражений, заданных формулами: 1) А ˅ А & В 2) А & (А ˅ В) 3) А & В ˅ (Ā) & В 4) (А ˅ В) & (Ā ˅ В) 5) В & (А ˅ В ˅ С) 6) ¬ (А & В ˅ С)

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
Постройте таблицы истинности для сложных логических выражений, заданных формулами: 1) А ˅ А & В 2) А & (А ˅ В) 3) А & В ˅ (Ā) & В 4) (А ˅ В) & (Ā ˅ В) 5) В & (А ˅ В ˅ С) 6) ¬ (А & В ˅ С)

Условие:

Постройте таблицы истинности для сложных логических выражений, заданных
формулами:
1) А ˅ А & В
2) А & (А ˅ В)
3) А & В ˅ (Ā) & В
4) (А ˅ В) & (Ā ˅ В)
5) В & (А ˅ В ˅ С)
6) ¬ (А & В ˅ С)

Решение:

  1. А ˅ А & В
    • Выражение эквивалентно A ∨ (A ∧ B).
    • Таблица истинности:

      | A | B | A ∧ B | A ∨ (A ∧ B) |
      |---|---|-------|-------------|
      | 0 | 0 | 0 | 0 |
      | 0 | 1 | 0 | 0 |
      | 1 | 0 | 0 | 1 |
      | 1 | 1 | 1 | 1 |

  2. А & (А ˅ В)
    • Выражение эквивалентно A ∧ (A ∨ B).
    • Таблица истинности:

      | A | B | A ∨ B | A ∧ (A ∨ B) |
      |---|---|-------|-------------|
      | 0 | 0 | 0 | 0 |
      ...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое логическое выражение эквивалентно выражению (A ∨ B) ∧ (¬A ∨ B)?

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Выбери предмет