Beruflich Dokumente
Kultur Dokumente
or or or
Path 1 Path 2 Path 3
Gas_level > Warning Gas_level > Danger
and Gas_level < Danger
Alarm = Evacuate Alarm = off
Alarm = Warning
contradiction contradiction
Code is incorrect.
Gas_level = Danger does not cause the alarm to be on