Cause-effect graphs employ nodes and links and, further employ logical operators such as AND, OR, and NOT. To derive a cause-effect graph, the software specification is divided into workable pieces because otherwise, a cause-effect graph becomes unwieldy.