В работе используются следующие соглашения: Обозначения для логических операций а) отрицание (инверсия, логическое НЕ) обозначается - (например, -A); b) коньюнкция (логическое…
В работе используются следующие соглашения: Обозначения для логических операций а) отрицание (инверсия, логическое НЕ) обозначается - (например, -A); b) коньюнкция (логическое умножение, логическое И) обозначается Л (например, А Л В); с) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается V (например, A V B). 1. Постройте таблицу истинности выражения: -A^(-BV-C). 2. Заполните таблицу истинности выражения: (AMBV-CV(С^-B). З. Постройте таблицу истинности выражения: (-ABV-C)v (Сл-В).
Привет! Давай разберёмся с построением таблиц истинности для каждого выражения. Мы будем использовать логические операции: отрицание (-), конъюнкцию (Л), дизъюнкцию (V).
1. Постройте таблицу истинности выражения: -A^(-BV-C).
Для булевой логики, нам нужно определить все возможные значения переменных A, B и C, и затем вычислить значение выражения для каждого случая. Таблица будет вида:
| A | B | C | -A | -B | -C | -BVC | -A Л (-BVC) |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 |
| 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
2. Заполните таблицу истинности выражения: (A Л B) V (-C) V (C Л -B).
| A | B | C | A Л B | -C | C Л -B | (A Л B) V (-C) V (C Л -B) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 | 0 | 1 |
| 0 | 0 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 1 |
3. Постройте таблицу истинности выражения: (-A Л B V -C) V (C Л -B).
| A | B | C | -A | -C | -A Л B V -C | C Л -B | (-A Л B V -C) V (C Л -B) |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 |
| 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
Надеюсь, это поможет! Если есть вопросы, не стесняйся спрашивать.
