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