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