💡 实例
在编程中，程序员会用“assertion table”来检查一个布尔表达式的所有可能输入结果，确保程序逻辑没有漏洞。