Информатика

Логика

Базовые логические операции и импликация.

Информатика

Логическое И

A ∧ B→
Информатика

Логическое ИЛИ

A ∨ B→
Информатика

Исключающее ИЛИ

A ⊕ B→
Информатика

Логическое НЕ

¬A→
Информатика

Логическая импликация

A → B = ¬A ∨ B→
Информатика

Логическая эквивалентность

A ↔ B→
Информатика

Стрелка Пирса

A ↓ B = ¬(A ∨ B)→