The step of putting propositions into a proper form such that tests can be written against them is arguably half the benefit.
https://en.m.wikipedia.org/wiki/Well-formed_formula
The step of putting propositions into a proper form such that tests can be written against them is arguably half the benefit.
https://en.m.wikipedia.org/wiki/Well-formed_formula