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

权利要求书

1.一种证明逻辑代数公式的演示装置，用于证明逻辑代数公式                                               成立，即在一个与或表达式中（如公式左边乘积项）若有一个变量，它在一个乘积项中为原变量，而在另一个乘积项为反变量，且这两个乘积项的其余因子都相同A，则此变量是多余的；其特征在于，所述的演示装置包含：

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

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

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

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

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

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

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

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

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

相互串联连接的第五开关（A-2-1）、第二上拉电阻（R-2）及第二发光二极管（P-2）。

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

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

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

所述的第二开关（B-1-1）及第四开关（B-1-2）保持通断方向相反，其中，第二开关（B-1-1）表示逻辑代数公式变量B的逻辑，第四开关（B-1-2）表示逻辑代数公式变量的逻辑。

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

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