Алгебра
Английский
Биология
География
Геометрия
История
Русский
Обществознание
Физика
Химия
Информатика
Литература
МатематикаВопрос:
1. Построить таблицы истинности для выражений y→((x→ z) →-у) (x v y) →(x≡(-x))
Ответ:
Ответ: Смотри решение ниже
Краткое пояснение: Для решения необходимо построить таблицы истинности для каждого выражения.
1. y→((x→ z) →¬y)
| y | x | z | x→z | ¬y | (x→z)→¬y | y→((x→z)→¬y) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 | 0 | 0 | 0 |
| 1 | 1 | 0 | 0 | 0 | 1 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 0 |
2. (x ∨ y) → (x ≡ ¬x)
| x | y | x ∨ y | ¬x | x ≡ ¬x | (x ∨ y) → (x ≡ ¬x) |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 1 | 0 | 0 | 0 |
| 1 | 1 | 1 | 0 | 0 | 0 |
Ответ: Смотри решение выше
