|
Список литературы
Генератор кроссвордов
Генератор титульных листов
Таблица истинности ONLINE
Прочие ONLINE сервисы
|
|
Таблица истинности для функции (¬C↓D)≡(¬C∧A∨¬D)≡(¬(¬B|C←A)):
Промежуточные таблицы истинности:¬C: (¬C)↓D: | C | D | ¬C | (¬C)↓D | | 0 | 0 | 1 | 0 | | 0 | 1 | 1 | 0 | | 1 | 0 | 0 | 1 | | 1 | 1 | 0 | 0 |
¬D: (¬C)∧A: | C | A | ¬C | (¬C)∧A | | 0 | 0 | 1 | 0 | | 0 | 1 | 1 | 1 | | 1 | 0 | 0 | 0 | | 1 | 1 | 0 | 0 |
((¬C)∧A)∨(¬D): | C | A | D | ¬C | (¬C)∧A | ¬D | ((¬C)∧A)∨(¬D) | | 0 | 0 | 0 | 1 | 0 | 1 | 1 | | 0 | 0 | 1 | 1 | 0 | 0 | 0 | | 0 | 1 | 0 | 1 | 1 | 1 | 1 | | 0 | 1 | 1 | 1 | 1 | 0 | 1 | | 1 | 0 | 0 | 0 | 0 | 1 | 1 | | 1 | 0 | 1 | 0 | 0 | 0 | 0 | | 1 | 1 | 0 | 0 | 0 | 1 | 1 | | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
¬B: (¬B)|C: | B | C | ¬B | (¬B)|C | | 0 | 0 | 1 | 1 | | 0 | 1 | 1 | 0 | | 1 | 0 | 0 | 1 | | 1 | 1 | 0 | 1 |
((¬B)|C)←A: | B | C | A | ¬B | (¬B)|C | ((¬B)|C)←A | | 0 | 0 | 0 | 1 | 1 | 1 | | 0 | 0 | 1 | 1 | 1 | 1 | | 0 | 1 | 0 | 1 | 0 | 1 | | 0 | 1 | 1 | 1 | 0 | 0 | | 1 | 0 | 0 | 0 | 1 | 1 | | 1 | 0 | 1 | 0 | 1 | 1 | | 1 | 1 | 0 | 0 | 1 | 1 | | 1 | 1 | 1 | 0 | 1 | 1 |
¬(((¬B)|C)←A): | B | C | A | ¬B | (¬B)|C | ((¬B)|C)←A | ¬(((¬B)|C)←A) | | 0 | 0 | 0 | 1 | 1 | 1 | 0 | | 0 | 0 | 1 | 1 | 1 | 1 | 0 | | 0 | 1 | 0 | 1 | 0 | 1 | 0 | | 0 | 1 | 1 | 1 | 0 | 0 | 1 | | 1 | 0 | 0 | 0 | 1 | 1 | 0 | | 1 | 0 | 1 | 0 | 1 | 1 | 0 | | 1 | 1 | 0 | 0 | 1 | 1 | 0 | | 1 | 1 | 1 | 0 | 1 | 1 | 0 |
((¬C)↓D)≡(((¬C)∧A)∨(¬D)): | C | D | A | ¬C | (¬C)↓D | ¬C | (¬C)∧A | ¬D | ((¬C)∧A)∨(¬D) | ((¬C)↓D)≡(((¬C)∧A)∨(¬D)) | | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
(((¬C)↓D)≡(((¬C)∧A)∨(¬D)))≡(¬(((¬B)|C)←A)): | C | D | A | B | ¬C | (¬C)↓D | ¬C | (¬C)∧A | ¬D | ((¬C)∧A)∨(¬D) | ((¬C)↓D)≡(((¬C)∧A)∨(¬D)) | ¬B | (¬B)|C | ((¬B)|C)←A | ¬(((¬B)|C)←A) | (((¬C)↓D)≡(((¬C)∧A)∨(¬D)))≡(¬(((¬B)|C)←A)) | | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 |
Общая таблица истинности:| C | D | A | B | ¬C | (¬C)↓D | ¬D | (¬C)∧A | ((¬C)∧A)∨(¬D) | ¬B | (¬B)|C | ((¬B)|C)←A | ¬(((¬B)|C)←A) | ((¬C)↓D)≡(((¬C)∧A)∨(¬D)) | (¬C↓D)≡(¬C∧A∨¬D)≡(¬(¬B|C←A)) | | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |
Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности: | C | D | A | B | F | | 0 | 0 | 0 | 0 | 1 | | 0 | 0 | 0 | 1 | 1 | | 0 | 0 | 1 | 0 | 1 | | 0 | 0 | 1 | 1 | 1 | | 0 | 1 | 0 | 0 | 0 | | 0 | 1 | 0 | 1 | 0 | | 0 | 1 | 1 | 0 | 1 | | 0 | 1 | 1 | 1 | 1 | | 1 | 0 | 0 | 0 | 0 | | 1 | 0 | 0 | 1 | 0 | | 1 | 0 | 1 | 0 | 1 | | 1 | 0 | 1 | 1 | 0 | | 1 | 1 | 0 | 0 | 0 | | 1 | 1 | 0 | 1 | 0 | | 1 | 1 | 1 | 0 | 1 | | 1 | 1 | 1 | 1 | 0 |
F сднф = ¬C∧¬D∧¬A∧¬B ∨ ¬C∧¬D∧¬A∧B ∨ ¬C∧¬D∧A∧¬B ∨ ¬C∧¬D∧A∧B ∨ ¬C∧D∧A∧¬B ∨ ¬C∧D∧A∧B ∨ C∧¬D∧A∧¬B ∨ C∧D∧A∧¬B
Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности: | C | D | A | B | F | | 0 | 0 | 0 | 0 | 1 | | 0 | 0 | 0 | 1 | 1 | | 0 | 0 | 1 | 0 | 1 | | 0 | 0 | 1 | 1 | 1 | | 0 | 1 | 0 | 0 | 0 | | 0 | 1 | 0 | 1 | 0 | | 0 | 1 | 1 | 0 | 1 | | 0 | 1 | 1 | 1 | 1 | | 1 | 0 | 0 | 0 | 0 | | 1 | 0 | 0 | 1 | 0 | | 1 | 0 | 1 | 0 | 1 | | 1 | 0 | 1 | 1 | 0 | | 1 | 1 | 0 | 0 | 0 | | 1 | 1 | 0 | 1 | 0 | | 1 | 1 | 1 | 0 | 1 | | 1 | 1 | 1 | 1 | 0 |
F скнф = (C∨¬D∨A∨B) ∧ (C∨¬D∨A∨¬B) ∧ (¬C∨D∨A∨B) ∧ (¬C∨D∨A∨¬B) ∧ (¬C∨D∨¬A∨¬B) ∧ (¬C∨¬D∨A∨B) ∧ (¬C∨¬D∨A∨¬B) ∧ (¬C∨¬D∨¬A∨¬B)
|
 |
|
 |
|
Вход на сайт
Информация
В нашем каталоге
Околостуденческое
|