设A, B, C是命题公式，则AVBV﹁C 也是命题公式。