[发明专利]证明逻辑代数公式的演示装置

权利要求书

1.一种证明逻辑代数公式的演示装置，用于证明逻辑代数公式                                               成立，即在一个与或表达式中，若其中的两个乘积项中，第一个包含变量A，第二个包含A的非，且这两个乘积项的其余因子都是第三个乘积项BC的因子，则此乘积项BC是多余的；其特征在于，所述演示装置包含：

通过并联连接的第一演示电路和第二演示电路，以及与所述并联后的第一演示电路和第二演示电路通过串联连接的电源；

所述第一演示电路表示需证明的逻辑代数公式中的与或表达式的逻辑组合；

所述第二演示电路表示需证明的逻辑代数公式中的与或表达式的逻辑组合。

2.如权利要求1所述的证明逻辑代数公式的演示装置，其特征在于，所述第一演示电路包含：

由第一开关（A-1-1）和第二开关（B-1-1）通过串联连接形成的第一支路；

由第三开关（A-1-2）和第四开关（C-1-1）通过串联连接形成的第二支路；

由第五开关（B-1-2）和第六开关（C-1-2）通过串联连接形成的第三支路，所述第一支路、第二支路和第三支路通过并联连接；以及

第一发光二极管（P-1），其与所述并联连接后的第一支路、第二支路和第三支路通过串联连接。

3.如权利要求2所述的证明逻辑代数公式的演示装置，其特征在于，所述第一演示电路还包含第一上拉电阻（R-1），其与所述第一发光二极管（P-1）通过串联连接。

4.如权利要求2所述的证明逻辑代数公式的演示装置，其特征在于，所述第二演示电路包含：

由第七开关（A-2-1）和第八开关（B-2-1）通过串联连接形成的第四支路；

由第九开关（A-2-2）和第十开关（C-2-1）通过串联连接形成的第五支路，所述第四支路和第五支路通过并联连接；以及

第二发光二极管（P-2），其与所述并联后的第四支路和第五支路通过串联连接。

5.如权利要求4所述的证明逻辑代数公式的演示装置，其特征在于，所述第二演示电路还包含第二上拉电阻（R-2），其与所述第二发光二极管（P-2）通过串联连接。

6.如权利要求4所述的证明逻辑代数公式的演示装置，其特征在于，所述第一开关（A-1-1）、第三开关（A-1-2）、第七开关（A-2-1）和第九开关（A-2-2）为一组联动开关；

所述第一开关（A-1-1）和第七开关（A-2-1）保持通断状态一致，其连通和断开状态分别代表逻辑代数公式中变量A的逻辑；

所述第三开关（A-1-2）、第九开关（A-2-2）与第一开关（A-1-1）、第七开关（A-2-1）保持通断状态相反，其连通和断开状态分别表示逻辑代数公式中变量的逻辑。

7.如权利要求4所述的证明逻辑代数公式的演示装置，其特征在于，所述第二开关（B-1-1）、第五开关（B-1-2）和第八开关（B-2-1）为一组联动开关；

所述第二开关（B-1-1）、第五开关（B-1-2）和第八开关（B-2-1）保持通断状态一致，其连通和断开状态分别代表逻辑代数公式中变量B的逻辑。

8.如权利要求4所述的证明逻辑代数公式的演示装置，其特征在于，所述第四开关（C-1-1）、第六开关（C-1-2）和第十开关（C-2-1）为一组联动开关；

所述第四开关（C-1-1）、第六开关（C-1-2）和第十开关（C-2-1）保持通断状态一致，其连通和断开状态分别代表逻辑代数公式中变量C的逻辑。

9.如权利要求4所述的证明逻辑代数公式的演示装置，其特征在于，所述第一发光二极管（P-1）的点亮或熄灭表示所述第一演示电路的导通或断开状态，即代表逻辑代数公式中表达式的逻辑。

10.如权利要求4所述的证明逻辑代数公式的演示装置，其特征在于，所述第二发光二极管（P-2）的点亮或熄灭表示所述第二演示电路的导通或断开状态，即代表逻辑代数公式中表达式的逻辑。