Приведенной таблице истинности:

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