[發明專利]證明邏輯代數常用公式的演示裝置

無效

• 申請號: 201210196706.0
• 申請日: 2012-06-15
• 公開（公告）號: CN102779446A
• 公開（公告）日: 2012-11-14
• 發明（設計）人: 談進
• 申請（專利權）人: 上海第二工業大學
• 主分類號: G09B23/02
• 分類號: G09B23/02
• 代理公司: 上海信好專利代理事務所(普通合伙) 31249
• 代理人: 張妍

1.一種證明邏輯代數常用公式的演示裝置，用于證明邏輯代數常用公式???????????????????????????????????????????????成立，即在一個與或表達式中，包含一個乘積項A，若的非與其它變量的或組成另一個乘積項，則在另一個乘積項中，乘積項A的非是多余的；其特征在于，所述演示裝置包含：

通過并聯連接的第一演示電路和第二演示電路，以及與所述并聯后的第一演示電路和第二演示電路通過串聯連接的電源；

所述第一演示電路表示需證明的邏輯代數常用公式中的與或表達式的邏輯組合；

所述第二演示電路表示需證明的邏輯代數常用公式中的與或表達式的邏輯組合。

2.根據權利要求1所述的證明邏輯代數常用公式的演示裝置，其特征在于，所述的第一演示電路包含：

由第二開關（A-1-2）和第三開關（B-1-1）相互并聯組成的第一支路；

第一開關（A-1-1），所述的第一開關（A-1-1）與所述的第一支路串聯連接；以及，

第一發光二極管（P-1），所述的第一發光二極管（P-1）與所述串聯連接后的第一支路和第一開關（A-1-1）通過串聯連接。

3.根據權利要求2所述的證明邏輯代數常用公式的演示裝置，其特征在于，所述的第一演示電路還包含：第一上拉電阻（R-1），所述的第一上拉電阻（R-1）與第一發光二極管（P-1）通過串聯連接。

4.根據權利要求2所述的證明邏輯代數常用公式的演示裝置，其特征在于，所述的第二演示電路包含：相互串聯連接的第四開關（A-2-1）、第五開關（B-2-1）和第二發光二極管（P-2）。

5.根據權利要求4所述的證明邏輯代數常用公式的演示裝置，其特征在于，所述的第二演示電路還包含：第二上拉電阻（R-2），所述的第二上拉電阻（R-2）與第二發光二極管（P-2）通過串聯連接。

6.根據權利要求4所述的證明邏輯代數常用公式的演示裝置，其特征在于，所述的第一開關（A-1-1）、第二開關（A-1-2）和第四開關（A-2-1）為一組聯動開關；

所述第一開關（A-1-1）和第四開關（A-2-1）保持通斷狀態一致，其連通和斷開狀態分別代表邏輯代數常用公式中變量A的邏輯；

所述第二開關（A-1-2）與第一開關（A-1-1）、第四開關（A-2-1）保持通斷狀態相反，其連通和斷開狀態分別表示邏輯代數常用公式中變量的邏輯。

7.根據權利要求4所述的證明邏輯代數常用公式的演示裝置，其特征在于，所述的第三開關（B-1-1）和第五開關（B-2-1）為一組聯動開關；所述的第三開關（B-1-1）和第五開關（B-2-1）保持通斷狀態一致，其連通和斷開狀態分別代表邏輯代數常用公式中變量B的邏輯。

8.根據權利要求4所述的證明邏輯代數常用公式的演示裝置，其特征在于，所述的第一發光二極管（P-1）的點亮或熄滅表示所述第一演示電路的導通或斷開狀態，即代表邏輯代數常用公式中表達式的邏輯。

9.根據權利要求4所述的證明邏輯代數常用公式的演示裝置，其特征在于，所述的第二發光二極管（P-2）的點亮或熄滅表示所述第二演示電路的導通或斷開狀態，即代表邏輯代數常用公式中表達式AB的邏輯。