A logical structure that shows every combination of conditions and outcomes.