Создайте таблицы истинности для логических формул, пронумерованных с 3 по 9 в задании выше.
Zvezdopad_V_Kosmose
Хорошо, давайте начнем с таблицы истинности для формулы номер 3:
| A | B | (A ∧ B) → (¬A ∨ B)
--------------------------
0 | 0 | 1 | 1
1 | 0 | 1 | 1
0 | 1 | 0 | 0
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 4:
| A | B | C | (A ∨ B) ∧ (A → C)
-------------------------------
0 | 0 | 0 | 0
1 | 0 | 0 | 0
0 | 0 | 1 | 0
1 | 0 | 1 | 1
0 | 1 | 0 | 1
1 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 5:
| A | B | C | (A ∨ B) ∧ (¬A ∨ C)
-------------------------------
0 | 0 | 0 | 0
1 | 0 | 0 | 0
0 | 0 | 1 | 1
1 | 0 | 1 | 1
0 | 1 | 0 | 1
1 | 1 | 0 | 1
0 | 1 | 1 | 1
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 6:
| A | B | C | ((A ∨ B) → (¬A ∨ C)) ∧ (¬C ∨ B)
--------------------------------------------
0 | 0 | 0 | 1
1 | 0 | 0 | 1
0 | 0 | 1 | 1
1 | 0 | 1 | 1
0 | 1 | 0 | 1
1 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 7:
| A | B | C | (A ∧ B) ∨ (¬B ∧ C)
-------------------------------
0 | 0 | 0 | 0
1 | 0 | 0 | 0
0 | 0 | 1 | 1
1 | 0 | 1 | 0
0 | 1 | 0 | 0
1 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 8:
| A | B | C | (A ∧ B) → (¬A ∨ C)
-------------------------------
0 | 0 | 0 | 1
1 | 0 | 0 | 1
0 | 0 | 1 | 1
1 | 0 | 1 | 1
0 | 1 | 0 | 1
1 | 1 | 0 | 1
0 | 1 | 1 | 1
1 | 1 | 1 | 1
И, наконец, таблица истинности для формулы номер 9:
| A | B | C | ¬(¬A ⟺ (B ∧ C))
---------------------------
0 | 0 | 0 | 1
1 | 0 | 0 | 0
0 | 0 | 1 | 0
1 | 0 | 1 | 0
0 | 1 | 0 | 0
1 | 1 | 0 | 0
0 | 1 | 1 | 0
1 | 1 | 1 | 0
Надеюсь, эти таблицы истинности помогут вам лучше понять данные логические формулы. Если у вас возникнут еще вопросы, не стесняйтесь задавать их.
| A | B | (A ∧ B) → (¬A ∨ B)
--------------------------
0 | 0 | 1 | 1
1 | 0 | 1 | 1
0 | 1 | 0 | 0
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 4:
| A | B | C | (A ∨ B) ∧ (A → C)
-------------------------------
0 | 0 | 0 | 0
1 | 0 | 0 | 0
0 | 0 | 1 | 0
1 | 0 | 1 | 1
0 | 1 | 0 | 1
1 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 5:
| A | B | C | (A ∨ B) ∧ (¬A ∨ C)
-------------------------------
0 | 0 | 0 | 0
1 | 0 | 0 | 0
0 | 0 | 1 | 1
1 | 0 | 1 | 1
0 | 1 | 0 | 1
1 | 1 | 0 | 1
0 | 1 | 1 | 1
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 6:
| A | B | C | ((A ∨ B) → (¬A ∨ C)) ∧ (¬C ∨ B)
--------------------------------------------
0 | 0 | 0 | 1
1 | 0 | 0 | 1
0 | 0 | 1 | 1
1 | 0 | 1 | 1
0 | 1 | 0 | 1
1 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 7:
| A | B | C | (A ∧ B) ∨ (¬B ∧ C)
-------------------------------
0 | 0 | 0 | 0
1 | 0 | 0 | 0
0 | 0 | 1 | 1
1 | 0 | 1 | 0
0 | 1 | 0 | 0
1 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 1 | 1 | 1
Теперь перейдем к таблице истинности для формулы номер 8:
| A | B | C | (A ∧ B) → (¬A ∨ C)
-------------------------------
0 | 0 | 0 | 1
1 | 0 | 0 | 1
0 | 0 | 1 | 1
1 | 0 | 1 | 1
0 | 1 | 0 | 1
1 | 1 | 0 | 1
0 | 1 | 1 | 1
1 | 1 | 1 | 1
И, наконец, таблица истинности для формулы номер 9:
| A | B | C | ¬(¬A ⟺ (B ∧ C))
---------------------------
0 | 0 | 0 | 1
1 | 0 | 0 | 0
0 | 0 | 1 | 0
1 | 0 | 1 | 0
0 | 1 | 0 | 0
1 | 1 | 0 | 0
0 | 1 | 1 | 0
1 | 1 | 1 | 0
Надеюсь, эти таблицы истинности помогут вам лучше понять данные логические формулы. Если у вас возникнут еще вопросы, не стесняйтесь задавать их.
Знаешь ответ?