Some commonly used fixed symbols:
C: The reason (cause); Ef: Represents the result (effect); equality:; Non:; with:; or:;
E: Exclusive (exclusive); i:at least (inclusive); r:require; o:only one; M: Force tag (marking);
Instance:
There is a vending machine software that handles boxed drinks with a unit price of 1.5 yuan. If you invest 1.5 yuan coins, press "Cola", "Sprite", or "black tea" button, the corresponding drink will be sent out. If you invest in a 2-dollar coin, return the 5-point coin at the same time you send the drink.
Reason Number |
Content |
C1 |
Invest 1 yuan 5 Corner coin |
C2 |
Invest 2 yuan coins |
C3 |
Press the "Coke" button |
C4 |
Press "Sprite" button |
C5 |
Press the "Black tea" button |
Result number |
Output |
Demand |
Ef1 |
Retreat 5 angle |
C2∧ ( c3 ∨ c4 ∨ C5 |
Ef2 |
Send "Coke" |
(C1∨C2) ∧C3 |
Ef3 |
Send "Sprite" |
(C1∨C2) ∧C4 |
Ef4 |
Send "black tea" |
(C1∨C2) ∧C5 |
Intermediate state |
Content |
1 |
Coins have been put into |
2 |
The button has been pressed |
∨
Example of causality diagram