工作Q

微分命题演算

线性命题

线性命题可以写成和

三元线性命题

\text｛图8.｝~~\text｛线性命题｝：\mathbb｛B｝^3\到\mathbb｛B｝

肯定命题

积极命题可以写成产品

关于三个变量的正命题

\text{图9.}~~\text{正命题}:\mathbb{B}^3\to\mathbb2{B}

奇异命题

奇异命题可以写成乘积

三元奇异命题

\text{图10.}~~\text{奇异命题}:\mathbb{B}^3\to\mathbb2{B}

测试模式

JPG公司

维恩图•P、Q、R测试模式

维恩图•P、Q、R测试模式

巴布亚新几内亚

维恩图•P、Q、R测试模式

维恩图•P、Q、R测试模式