或逻辑是一种关联的二元逻辑连接词,如果它所关联的命题中有一个为真,那么它命题的值为真。 定义 v(A∨B)={01if v(B)=0 and v(A)=0otherwise. 真值表 PQP ∨ Q000011101111