1.事故树的基本概念
事故树分析法又称故障树分析法，是系统安全分析中最重要的定量分析方法之一。事故树是一种表示故障事件发生原因及其逻辑关系的逻辑树图，能够清晰地展示系统内部各事件之间的内在联系，既可以定性分析、也可以定量分析，已广泛应用于很多领域。事故树的理论基础是布尔代数，不仅可以提供解决问题的方法，还可以提供解决系统安全的思路。
2.布尔代数的基本运算规律
定义：由元素 A ， B ……组成的集合称为一个布尔代数。它具有以下基本运算规律。
①结合律：（ A + B ）+ C = A +（ B + C ）；（ A · B ）· C = A ·（ B · C ）
②交换律： A + B = B + A A-B = B-A
③分配律： A ·（ B + C ）= A · B + A · C A +（ B · C ）=（ A + B ）·（ A + C ）
④互补律： A + A′ = l A · A′ =0
⑤对合律：（ A′ ） ′ = A
⑥对等律： A · A = A A + A = A
⑦重叠律： A + A′B = A + B = B + B′A
⑧吸收律： A + AB = A A ·（ A + B ）= A
⑨德·摩根律：（ A + B ） ′ = A′B′ （ AB ） ′ = A′ + B′
3.布尔函数
布尔函数是事故树分析的基本手段，可以有效表达图形状的事故树，便于定量分析各事件之间的逻辑关系。
4.事故树的图形表示法
图形表示法可以直观表示顶上事件与各元素之间逻辑关系。根据《故障树名词术语和符号》（GB/T 4888—2009），简要介绍事故树分析中的各种符号，如图3-7所示。
①矩形符号：代表顶上事件或中间事件，如图3-7（a）所示。该符号表示通过逻辑门作用的、由一个或多个原因而导致的故障事件。
②圆形符号：代表基本事件，如图3-7（b）所示。该符号表示不要求进一步展开的引发故障的基本事件。
③菱形符号：代表省略事件，如图3-7（c）所示。该符号表示事件影响不大或情报不足而没有进一步展开的故障事件。
④房形符号：代表正常事件，如图3-7（d）所示。该符号表示系统在正常状态下发挥正常功能的事件。
⑤椭圆形符号：代表条件事件，如图3-7（e）所示。该符号表示施加于任何逻辑门的条件或限制。
图3-7 事件符号
