Тренажёр: таблицы истинности

$\neg A$ — отрицание («не A»), $A\wedge B$ — И, $A\vee B$ — ИЛИ, $A\to B$ — импликация («если A, то B»), $A\equiv B$ — эквивалентность, $A\oplus B$ — строгое ИЛИ.

Порядок действий: сначала скобки, затем $\neg$, $\wedge$, $\oplus$, $\vee$, $\to$, $\equiv$.

$A\to B$ ложно ровно в одном случае: $A=1$ и $B=0$. Во всех остальных наборах импликация истинна.