Alarm system is very important for the safety of nuclear power plant. When alarm, operator refers alarm logic diagrams to identify the logical relationship between the alarm and its causes. This paper propose a system which tracks the logical path between alarm and its causes on the alarm logic diagrams of Wolsung nuclear power plant unit 3 & 4. And a grammar for the validation of logic diagrams expressed in 2 dimensional strings, and logical operations with 3 states to track alarm-cause paths and to display the state of logics are proposed. This system is on operation at Wolsung site.