∧: Конъюнкция ("И")
Истинно, только если оба утверждения A и B истинны.
∨: Дизъюнкция ("ИЛИ")
Истинно, если хотя бы одно утверждение A или B истинно.
→: Импликация ("ЕСЛИ, ТО")
Ложно, только если A истинно, а B ложно.
↔: Эквиваленция ("ТОГДА И ТОЛЬКО ТОГДА")
Истинно, если A и B имеют одинаковое логическое значение.
⊕: Исключающее ИЛИ (XOR)
Истинно, если только одно из утверждений A или B истинно.
¬: Отрицание ("НЕ")
Меняет логическое значение A на противоположное.
|: Штрих Шеффера (NAND)
Ложно, только если оба утверждения A и B истинны.
↓: Стрелка Пирса (NOR)
Истинно, только если оба утверждения A и B ложны.
Код проекта