У записі логічних виразів крім арифметичних операцій складання, віднімання, множення, поділу і зведення в ступінь використовуються операції відношення < (менше), <= (менше або одно), > (більше), >= (більше або одно), = (рівно), < > (не рівно), а також логічні операції та, або, не.
Основні логічні символи
| Символ | Назва | Символ у програмуванні |
|---|---|---|
| ∧ • & | кон'юнкція | && |
| ∨ + ǀǀ | логічна диз'юнкція | || |
| ⊕ ⊻ | виключне або | x^y |
| ⊤ T 1 | Тавтологія | true |
Логічна змінна – це простий вислів, що містить лише одну думку. Її символічне позначення – латинська літера (наприклад, A, B, X, Y тощо). значенням логічної змінної можуть бути тільки константи ІСТИНА (1) і БРЕХНЯ (0).