|
Список литературы
Генератор кроссвордов
Генератор титульных листов
Таблица истинности ONLINE
Прочие ONLINE сервисы
|
|
Таблица истинности для функции (¬(¬(¬(X1∧¬X3)∧(¬(X1≡¬X3)))))→((¬(X1↓X3))∧(X1→X3))⊕(¬((¬X1)⊕(¬X1)∧(¬(¬X2)))):
Промежуточные таблицы истинности:¬X3: X1∧(¬X3): | X1 | X3 | ¬X3 | X1∧(¬X3) | | 0 | 0 | 1 | 0 | | 0 | 1 | 0 | 0 | | 1 | 0 | 1 | 1 | | 1 | 1 | 0 | 0 |
X1≡(¬X3): | X1 | X3 | ¬X3 | X1≡(¬X3) | | 0 | 0 | 1 | 0 | | 0 | 1 | 0 | 1 | | 1 | 0 | 1 | 1 | | 1 | 1 | 0 | 0 |
¬(X1≡(¬X3)): | X1 | X3 | ¬X3 | X1≡(¬X3) | ¬(X1≡(¬X3)) | | 0 | 0 | 1 | 0 | 1 | | 0 | 1 | 0 | 1 | 0 | | 1 | 0 | 1 | 1 | 0 | | 1 | 1 | 0 | 0 | 1 |
¬(X1∧(¬X3)): | X1 | X3 | ¬X3 | X1∧(¬X3) | ¬(X1∧(¬X3)) | | 0 | 0 | 1 | 0 | 1 | | 0 | 1 | 0 | 0 | 1 | | 1 | 0 | 1 | 1 | 0 | | 1 | 1 | 0 | 0 | 1 |
(¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))): | X1 | X3 | ¬X3 | X1∧(¬X3) | ¬(X1∧(¬X3)) | ¬X3 | X1≡(¬X3) | ¬(X1≡(¬X3)) | (¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))) | | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3)))): | X1 | X3 | ¬X3 | X1∧(¬X3) | ¬(X1∧(¬X3)) | ¬X3 | X1≡(¬X3) | ¬(X1≡(¬X3)) | (¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))) | ¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3)))) | | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 |
¬(¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))))): | X1 | X3 | ¬X3 | X1∧(¬X3) | ¬(X1∧(¬X3)) | ¬X3 | X1≡(¬X3) | ¬(X1≡(¬X3)) | (¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))) | ¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3)))) | ¬(¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))))) | | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
X1↓X3: ¬(X1↓X3): | X1 | X3 | X1↓X3 | ¬(X1↓X3) | | 0 | 0 | 1 | 0 | | 0 | 1 | 0 | 1 | | 1 | 0 | 0 | 1 | | 1 | 1 | 0 | 1 |
X1→X3: (¬(X1↓X3))∧(X1→X3): | X1 | X3 | X1↓X3 | ¬(X1↓X3) | X1→X3 | (¬(X1↓X3))∧(X1→X3) | | 0 | 0 | 1 | 0 | 1 | 0 | | 0 | 1 | 0 | 1 | 1 | 1 | | 1 | 0 | 0 | 1 | 0 | 0 | | 1 | 1 | 0 | 1 | 1 | 1 |
¬X1: ¬X2: ¬(¬X2): (¬X1)∧(¬(¬X2)): | X1 | X2 | ¬X1 | ¬X2 | ¬(¬X2) | (¬X1)∧(¬(¬X2)) | | 0 | 0 | 1 | 1 | 0 | 0 | | 0 | 1 | 1 | 0 | 1 | 1 | | 1 | 0 | 0 | 1 | 0 | 0 | | 1 | 1 | 0 | 0 | 1 | 0 |
(¬X1)⊕((¬X1)∧(¬(¬X2))): | X1 | X2 | ¬X1 | ¬X1 | ¬X2 | ¬(¬X2) | (¬X1)∧(¬(¬X2)) | (¬X1)⊕((¬X1)∧(¬(¬X2))) | | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
¬((¬X1)⊕((¬X1)∧(¬(¬X2)))): | X1 | X2 | ¬X1 | ¬X1 | ¬X2 | ¬(¬X2) | (¬X1)∧(¬(¬X2)) | (¬X1)⊕((¬X1)∧(¬(¬X2))) | ¬((¬X1)⊕((¬X1)∧(¬(¬X2)))) | | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 |
((¬(X1↓X3))∧(X1→X3))⊕(¬((¬X1)⊕((¬X1)∧(¬(¬X2))))): | X1 | X3 | X2 | X1↓X3 | ¬(X1↓X3) | X1→X3 | (¬(X1↓X3))∧(X1→X3) | ¬X1 | ¬X1 | ¬X2 | ¬(¬X2) | (¬X1)∧(¬(¬X2)) | (¬X1)⊕((¬X1)∧(¬(¬X2))) | ¬((¬X1)⊕((¬X1)∧(¬(¬X2)))) | ((¬(X1↓X3))∧(X1→X3))⊕(¬((¬X1)⊕((¬X1)∧(¬(¬X2))))) | | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 |
(¬(¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))))))→(((¬(X1↓X3))∧(X1→X3))⊕(¬((¬X1)⊕((¬X1)∧(¬(¬X2)))))): | X1 | X3 | X2 | ¬X3 | X1∧(¬X3) | ¬(X1∧(¬X3)) | ¬X3 | X1≡(¬X3) | ¬(X1≡(¬X3)) | (¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))) | ¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3)))) | ¬(¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))))) | X1↓X3 | ¬(X1↓X3) | X1→X3 | (¬(X1↓X3))∧(X1→X3) | ¬X1 | ¬X1 | ¬X2 | ¬(¬X2) | (¬X1)∧(¬(¬X2)) | (¬X1)⊕((¬X1)∧(¬(¬X2))) | ¬((¬X1)⊕((¬X1)∧(¬(¬X2)))) | ((¬(X1↓X3))∧(X1→X3))⊕(¬((¬X1)⊕((¬X1)∧(¬(¬X2))))) | (¬(¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))))))→(((¬(X1↓X3))∧(X1→X3))⊕(¬((¬X1)⊕((¬X1)∧(¬(¬X2)))))) | | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 |
Общая таблица истинности:| X1 | X3 | X2 | ¬X3 | X1∧(¬X3) | X1≡(¬X3) | ¬(X1≡(¬X3)) | ¬(X1∧(¬X3)) | (¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))) | ¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3)))) | ¬(¬((¬(X1∧(¬X3)))∧(¬(X1≡(¬X3))))) | X1↓X3 | ¬(X1↓X3) | X1→X3 | (¬(X1↓X3))∧(X1→X3) | ¬X1 | ¬X2 | ¬(¬X2) | (¬X1)∧(¬(¬X2)) | (¬X1)⊕((¬X1)∧(¬(¬X2))) | ¬((¬X1)⊕((¬X1)∧(¬(¬X2)))) | ((¬(X1↓X3))∧(X1→X3))⊕(¬((¬X1)⊕((¬X1)∧(¬(¬X2))))) | (¬(¬(¬(X1∧¬X3)∧(¬(X1≡¬X3)))))→((¬(X1↓X3))∧(X1→X3))⊕(¬((¬X1)⊕(¬X1)∧(¬(¬X2)))) | | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 |
|
 |
|
 |
|
Вход на сайт
Информация
В нашем каталоге
Околостуденческое
|