Decision logic
Write connectives, implications, exceptions and complete outcomes precisely.
Distinguish “both” from “either” in a business rule
Use a small truth table to expose a changed connective.
Keep a one-way rule from becoming an equivalence
Write which conclusion follows from which fact.
Limit an exception to the condition it actually changes
Use contrasting cases to prevent an exception erasing unrelated requirements.
Give overlapping rules an explicit priority
Record an ordered decision table for overlapping conditions.
Check whether a classification covers every allowed input
Find gaps and overlapping ranges before assigning a result.