一些常用的固定符号：
C：表示原因（cause）； Ef：代表结果（effect）； 相等：
； 非：
； 与： 
； 或：
；
E: 排他（exclusive）； I：at least（inclusive）； R：require ； O：only one ； M：强制标记（marking）；
实例：
有一个处理单价为1元5角钱的盒装饮料的自动售货机软件。若投入1元5角硬币，按下“可乐”、“雪碧”、或“红茶”按钮，相应的饮料就送出来。若投入的是2元硬币，在送出饮料的同时退还5角硬币。
|
原因编号 |
内容 |
|
C1 |
投入1元5角硬币 |
|
C2 |
投入2元硬币 |
|
C3 |
按下“可乐”按钮 |
|
C4 |
按下“雪碧”按钮 |
|
C5 |
按下“红茶”按钮 |
|
结果编号 |
输出 |
需求 |
|
Ef1 |
退5角 |
C2∧（C3∨C4∨C5） |
|
Ef2 |
送“可乐” |
（C1∨C2）∧C3 |
|
Ef3 |
送“雪碧” |
（C1∨C2）∧C4 |
|
Ef4 |
送“红茶” |
（C1∨C2）∧C5 |
|
中间状态 |
内容 |
|
1 |
已投入硬币 |
|
2 |
已按下按钮 |
∨
