НЕ

АБО

ІМПЛІКАЦІЯ

Ісключаюче АБО

x ∧ ¬y

¬x ∨ ¬y

¬y

x ∧ x

Функція, що описує логічні операції над булевими змінними.

Функція, яка завжди повертає справжнє значення.

Функція, яка використовується в математичному аналізі.

Функція, що приймає лише дійсні числа.

Таблиця, яка показує порядок виконання логічних операцій.

Таблиця, яка описує всі можливі значення булевої функції.

Таблиця, яка використовується для оптимізації булевих виразів.

Таблиця, яка використовується для перетворення чисел у булеві значення.

0,1,1

0,0,0

1,0,0

1,1,1

Множина всіх цілих чисел.

Множина всіх дійсних чисел.

Множина непарних натуральних чисел.

Множина парних натуральних чисел.

P1 = {(1, 2), (1, 3), (1, 6)}; P2 = ∅

P1 = {(1, 2), (1, 3), (1, 6), (5, 6)}; P2 = ∅

P1 = {(1, 2), (1, 3), (1, 6), (5, 6)}; P2 = {(5, 6), (8, 6)}

"бути рівним"

"бути більшим за"

"бути дільником"

"бути меншим за"

{a, b, c}

{1, 2, a, b, c}

{1, 2}

{(1, a), (2, b), (1, c)}

Відносини "бути меншими за" для чисел.

Відносини "бути старшими за" між людьми.

Відносини "бути різними" для предметів.

Відношення "бути паралельним" для прямих.