Q(P或Q)蕴涵:P→QP\toQP→Q(若P则Q)等价:P↔QP\leftrightarrowQP↔Q(P当且仅当Q)蕴涵P→QP\toQP→Q等价于¬P∨Q\negP\lorQ¬P∨Q2.真值表(TruthTable
这是维恩图: 有很多方法可以想象处理更复杂的情况;这个函数做了一个特殊的选择: 作为可视化函数的另一个示例,这里是TruthTable — 用于直观显示核心语言BooleanTable 函数的结果