Все просто. Вспоминаем, что операция ∨ называется логическим сложением, операция ∧ - логическим умножением, операция ¬ - логическим отрицанием или инверсией (заменой на обратное).
И тогда условие можно переписать, заменяя знак инверсии надчеркиванием:
Здесь в преобразованиях был использован закон де Моргана.