Булева логика
Раздел математической логики.
Обозначения
| Значение | Вариант в тестах | Еще варианты | В коде | Выражение через базовые операции |
|---|---|---|---|---|
| Отрицание (НЕ) | не, not, ! | |||
| ИЛИ | или, or, || | |||
| И | и, and, && | |||
| Импликация | → | <= | ||
| Эквиваленция/Равнозначность | ≡ | ↔ | == | |
| Штрих Шеффера | ∣ | |||
| Стрелка Пирса | ↓ | |||
| Исключающее ИЛИ | ⊕ | xor, ^, ~ |
(z∧¬w)∨(z∧¬¬w)
Смотрите так же Таблица истинности.
Сложные операции, такие как импликация, эквиваленция, штрих Шеффера и т.д., можно вывести через базовые операции (см. таблицу).
Аксиомы
Ссылки