[发明专利]证明逻辑代数公式的演示装置无效
申请号: | 201210193634.4 | 申请日: | 2012-06-13 |
公开(公告)号: | CN102779449A | 公开(公告)日: | 2012-11-14 |
发明(设计)人: | 刘敏 | 申请(专利权)人: | 上海第二工业大学 |
主分类号: | G09B23/18 | 分类号: | G09B23/18 |
代理公司: | 上海信好专利代理事务所(普通合伙) 31249 | 代理人: | 张妍 |
地址: | 201206 上*** | 国省代码: | 上海;31 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: |
本发明公开了一种证明逻辑代数公式 |
||
搜索关键词: | 证明 逻辑 代数 公式 演示 装置 | ||
【主权项】:
1.一种证明逻辑代数公式的演示装置,用于证明逻辑代数公式
成立,即在一个与或表达式
中,若其中的两个乘积项中,第一个包含变量A,第二个包含A的非
,且这两个乘积项的其余因子都是第三个乘积项BC的因子,则此乘积项BC是多余的;其特征在于,所述演示装置包含:通过并联连接的第一演示电路和第二演示电路,以及与所述并联后的第一演示电路和第二演示电路通过串联连接的电源;所述第一演示电路表示需证明的逻辑代数公式
中的与或表达式
的逻辑组合;所述第二演示电路表示需证明的逻辑代数公式
中的与或表达式
的逻辑组合。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于上海第二工业大学,未经上海第二工业大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201210193634.4/,转载请声明来源钻瓜专利网。