Операция произведения - логическая И - конъюнкция - &&,
операция сложения - логическая ИЛИ - дизъюнкция - ||,
операция отрицания - логическая НЕ - инверсия - ¬
¬A && (B || ¬C) = НЕ(A) И (B ИЛИ НЕ(C))
=И(НЕ(A); ИЛИ(B; НЕ(C)))
Операция произведения - логическая И - конъюнкция - &&,
операция сложения - логическая ИЛИ - дизъюнкция - ||,
операция отрицания - логическая НЕ - инверсия - ¬
Формула¬A && (B || ¬C) = НЕ(A) И (B ИЛИ НЕ(C))
=И(НЕ(A); ИЛИ(B; НЕ(C)))