Нажмите на кнопку «начать решать», чтобы получить доступ к генератору формул.
Вы можете выбрать количество переменных в формуле и количество операций.
| Логическая операция | Обозначение для наших занятий | Обозначение на этом сайте |
| отрицание | $\overline{x}$ или $\overline{\mbox{длинное выражение}}$ | $\neg$ |
| логическое или | $\vee$ | $\vee$ |
| логическое и | $\cdot$ или ничего (как умножение) | $\wedge$ |
| исключающее или | ${}+{}$ | $\oplus$ |
| импликация | $\Rightarrow$ | $\rightarrow$ |
| равносильность | $\Leftrightarrow$ | $\leftrightarrow$ |
Обратите внимание, что в таблице истинности порядок переменных может быть не $a, b, c$.