Операция произведения - логическая И - конъюнкция - &&,

операция сложения - логическая ИЛИ - дизъюнкция - ||,

операция отрицания - логическая НЕ - инверсия - ¬

Формула

¬A && (B || ¬C) = НЕ(A) И (B ИЛИ НЕ(C))

=И(НЕ(A); ИЛИ(B; НЕ(C)))