[發明專利]證明邏輯代數公式A（A+B）=A的演示裝置

無效

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

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

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

所述第一演示電路表示需證明的邏輯代數公式A（A+B）=A中的與或表達式的A（A+B）的邏輯組合；

所述第二演示電路表示需證明的邏輯代數公式A（A+B）=A中的乘積項A的邏輯組合。

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

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

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

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

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

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

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

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

7.根據權利要求4所述的證明邏輯代數公式A（A+B）=A的演示裝置，其特征在于，所述的第三開關（B-1-1）的連通和斷開狀態代表邏輯代數公式中A（A+B）=A變量B的邏輯。

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

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