Построение таблиц истинности
Вариант 1
В работе используются следующие соглашения.
Обозначения для логических операций:
а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
б) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В);
в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В);
г) импликация (логическое следование) обозначается → (например, A → B);
д) эквиваленция (логическое равенство) обозначается ≡ (например, A ≡ B)
1.Заполните таблицу истинности выражения: ¬A → B
2.Заполните таблицу истинности выражения: (¬A ≡ B) ∨ B
3.Заполните таблицу истинности выражения: ¬(A ∨ C) ∧ B ∨ ¬B
Для построения таблиц истинности используйте следующие макеты первых столбцов таблицы:
|
| | А | В | С | | 0 | 0 | 0 | | 0 | 0 | 1 | | 0 | 1 | 0 | | 0 | 1 | 1 | | 1 | 0 | 0 | | 1 | 0 | 1 | | 1 | 1 | 0 | | 1 | 1 | 1 |
|
Построение таблиц истинности
Вариант 2
В работе используются следующие соглашения.
Обозначения для логических операций:
а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
б) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В);
в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В);
г) импликация (логическое следование) обозначается → (например, A → B);
д) эквиваленция (логическое равенство) обозначается ≡ (например, A ≡ B)
Заполните таблицу истинности выражения: А ≡ ¬В
Заполните таблицу истинности выражения: (A → ¬B) ∨ A
Заполните таблицу истинности выражения: ¬(A ∨ C) ∧ B ∨ ¬B
Для построения таблиц истинности используйте следующие макеты первых столбцов таблицы:
|
| | А | В | С | | 0 | 0 | 0 | | 0 | 0 | 1 | | 0 | 1 | 0 | | 0 | 1 | 1 | | 1 | 0 | 0 | | 1 | 0 | 1 | | 1 | 1 | 0 | | 1 | 1 | 1 |
|
Построение таблиц истинности
Вариант 3
В работе используются следующие соглашения.
Обозначения для логических операций:
а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
б) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В);
в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В);
г) импликация (логическое следование) обозначается → (например, A → B);
д) эквиваленция (логическое равенство) обозначается ≡ (например, A ≡ B)
Заполните таблицу истинности выражения: ¬A ≡ B
Заполните таблицу истинности выражения: (A → ¬B) ∨ A
Заполните таблицу истинности выражения: (¬(A ∨ B) ∨ A) ∧ ¬C
Для построения таблиц истинности используйте следующие макеты первых столбцов таблицы:
|
| | А | В | С | | 0 | 0 | 0 | | 0 | 0 | 1 | | 0 | 1 | 0 | | 0 | 1 | 1 | | 1 | 0 | 0 | | 1 | 0 | 1 | | 1 | 1 | 0 | | 1 | 1 | 1 |
|
Построение таблиц истинности
Вариант 1
В работе используются следующие соглашения.
Обозначения для логических операций:
а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
б) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В);
в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В);
г) импликация (логическое следование) обозначается → (например, A → B);
д) эквиваленция (логическое равенство) обозначается ≡ (например, A ≡ B)
1.Заполните таблицу истинности выражения: ¬A → B
2.Заполните таблицу истинности выражения: (¬A ≡ B) ∨ B
3.Заполните таблицу истинности выражения: ¬(A ∨ C) ∧ B ∨ ¬B
Для построения таблиц истинности используйте следующие макеты первых столбцов таблицы:
|
| | А | В | С | | 0 | 0 | 0 | | 0 | 0 | 1 | | 0 | 1 | 0 | | 0 | 1 | 1 | | 1 | 0 | 0 | | 1 | 0 | 1 | | 1 | 1 | 0 | | 1 | 1 | 1 |
|
Построение таблиц истинности
Вариант 2
В работе используются следующие соглашения.
Обозначения для логических операций:
а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
б) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В);
в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В);
г) импликация (логическое следование) обозначается → (например, A → B);
д) эквиваленция (логическое равенство) обозначается ≡ (например, A ≡ B)
Заполните таблицу истинности выражения: А ≡ ¬В
Заполните таблицу истинности выражения: (A → ¬B) ∨ A
Заполните таблицу истинности выражения: ¬(A ∨ C) ∧ B ∨ ¬B
Для построения таблиц истинности используйте следующие макеты первых столбцов таблицы:
|
| | А | В | С | | 0 | 0 | 0 | | 0 | 0 | 1 | | 0 | 1 | 0 | | 0 | 1 | 1 | | 1 | 0 | 0 | | 1 | 0 | 1 | | 1 | 1 | 0 | | 1 | 1 | 1 |
|
Построение таблиц истинности
Вариант 3
В работе используются следующие соглашения.
Обозначения для логических операций:
а) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
б) конъюнкция (логическое умножение, логическое И) обозначается ∧ (например, А ∧ В);
в) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается ∨ (например, А ∨ В);
г) импликация (логическое следование) обозначается → (например, A → B);
д) эквиваленция (логическое равенство) обозначается ≡ (например, A ≡ B)
Заполните таблицу истинности выражения: ¬A ≡ B
Заполните таблицу истинности выражения: (A → ¬B) ∨ A
Заполните таблицу истинности выражения: (¬(A ∨ B) ∨ A) ∧ ¬C
Для построения таблиц истинности используйте следующие макеты первых столбцов таблицы:
|
| | А | В | С | | 0 | 0 | 0 | | 0 | 0 | 1 | | 0 | 1 | 0 | | 0 | 1 | 1 | | 1 | 0 | 0 | | 1 | 0 | 1 | | 1 | 1 | 0 | | 1 | 1 | 1 |
|
24
279 453 
