A method of simplifying Boolean algebra expressions. It reduces the need for extensive calculations by taking advantage of humans' pattern-recognition capability.[1] It also permits the rapid identification and elimination of potential race conditions.

Sourced from Wikipedia.