Логической функции  соответствует таблица истинности …
Символом «\/» обозначается операция логического сложения (ИЛИ),
символом «/\» обозначается операция логического умножения (И),
символом «¬» обозначается операция отрицания (НЕ).