(AまたはB)の否定、¬(A∨B)=(¬A)∧(¬B)
らしいですが
(AまたはBまたはC)の否定
¬(A∨B∨C)=(¬A)∧(¬B)∧(¬C)
は正しいですか?