Список литературы
Генератор кроссвордов
Генератор титульных листов
Таблица истинности ONLINE
Прочие ONLINE сервисы
|
Таблица истинности для функции ¬(¬(A∧¬B)→¬(¬B∨A))≡A∨B:
Промежуточные таблицы истинности:¬B: A∧(¬B): A | B | ¬B | A∧(¬B) | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 |
(¬B)∨A: B | A | ¬B | (¬B)∨A | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 |
¬(A∧(¬B)): A | B | ¬B | A∧(¬B) | ¬(A∧(¬B)) | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 |
¬((¬B)∨A): B | A | ¬B | (¬B)∨A | ¬((¬B)∨A) | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 |
(¬(A∧(¬B)))→(¬((¬B)∨A)): A | B | ¬B | A∧(¬B) | ¬(A∧(¬B)) | ¬B | (¬B)∨A | ¬((¬B)∨A) | (¬(A∧(¬B)))→(¬((¬B)∨A)) | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
¬((¬(A∧(¬B)))→(¬((¬B)∨A))): A | B | ¬B | A∧(¬B) | ¬(A∧(¬B)) | ¬B | (¬B)∨A | ¬((¬B)∨A) | (¬(A∧(¬B)))→(¬((¬B)∨A)) | ¬((¬(A∧(¬B)))→(¬((¬B)∨A))) | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 |
A∨B: (¬((¬(A∧(¬B)))→(¬((¬B)∨A))))≡(A∨B): A | B | ¬B | A∧(¬B) | ¬(A∧(¬B)) | ¬B | (¬B)∨A | ¬((¬B)∨A) | (¬(A∧(¬B)))→(¬((¬B)∨A)) | ¬((¬(A∧(¬B)))→(¬((¬B)∨A))) | A∨B | (¬((¬(A∧(¬B)))→(¬((¬B)∨A))))≡(A∨B) | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 |
Общая таблица истинности:A | B | ¬B | A∧(¬B) | (¬B)∨A | ¬(A∧(¬B)) | ¬((¬B)∨A) | (¬(A∧(¬B)))→(¬((¬B)∨A)) | ¬((¬(A∧(¬B)))→(¬((¬B)∨A))) | A∨B | ¬(¬(A∧¬B)→¬(¬B∨A))≡A∨B | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 |
Логическая схема:
Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности: F сднф = A∧B Логическая cхема:
Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности: F скнф = (A∨B) ∧ (A∨¬B) ∧ (¬A∨B) Логическая cхема:
Построение полинома Жегалкина:
По таблице истинности функции Построим полином Жегалкина: F ж = C 00 ⊕ C 10∧A ⊕ C 01∧B ⊕ C 11∧A∧B Так как F ж(00) = 0, то С 00 = 0. Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы: F ж(10) = С 00 ⊕ С 10 = 0 => С 10 = 0 ⊕ 0 = 0 F ж(01) = С 00 ⊕ С 01 = 0 => С 01 = 0 ⊕ 0 = 0 F ж(11) = С 00 ⊕ С 10 ⊕ С 01 ⊕ С 11 = 1 => С 11 = 0 ⊕ 0 ⊕ 0 ⊕ 1 = 1 Таким образом, полином Жегалкина будет равен: F ж = A∧B Логическая схема, соответствующая полиному Жегалкина:
|
![](/img/grey.gif) |
![](/img/grey.gif) |
![](/img/spacer.gif) |
|
Вход на сайт
Информация
В нашем каталоге
Околостуденческое
|