When is 3-valued logic useful?
softwareengineering.stackexchange.com