事故树分析基础中，下列布尔代数基本运算规律正确的有（　　）。