| 发明名称 | 证明逻辑代数公式的演示装置 | ||
| 摘要 | 本发明公开了一种证明逻辑代数公式的演示装置，用于证明逻辑代数公式<img file="201210196708x100004dest_path_image002.GIF" wi="111" he="32" />成立，即在一个与或表达式中（如公式左边乘积项<img file="201210196708x100004dest_path_image004.GIF" wi="73" he="32" />）若有一个变量<img file="201210196708x100004dest_path_image006.GIF" wi="15" he="32" />，它在一个乘积项中为原变量<img file="201210196708x100004dest_path_image008.GIF" wi="26" he="32" />，而在另一个乘积项为反变量<img file="dest_path_image010.GIF" wi="27" he="62" />，且这两个乘积项的其余因子都相同<i>A</i>，则此变量<img file="dest_path_image012.GIF" wi="49" he="62" />是多余的；演示装置包含：通过并联连接的第一演示电路和第二演示电路，以及与并联的第一演示电路和第二演示电路通过串联连接的电源；第一演示表示需证明的逻辑代数公式<img file="345898dest_path_image002.GIF" wi="111" he="32" />中的与或表达式<img file="325355dest_path_image004.GIF" wi="73" he="32" />的逻辑组合；述第二演示表示需证明的逻辑代数公式<img file="167409dest_path_image002.GIF" wi="111" he="32" />中的与或表达式<img file="dest_path_image014.GIF" wi="15" he="62" />的逻辑组合。本发明利用视觉化的图形思维方式设计，能有效加强初学者在面对数字电路中的常用逻辑问题时的理解能力，从而有效加强教学质量。 | ||
| 申请公布号 | CN102779447A | 申请公布日期 | 2012.11.14 |
| 申请号 | CN201210196708.X | 申请日期 | 2012.06.15 |
| 申请人 | 上海第二工业大学 | 发明人 | 谈进 |
| 分类号 | G09B23/02(2006.01)I | 主分类号 | G09B23/02(2006.01)I |
| 代理机构 | 上海信好专利代理事务所(普通合伙) 31249 | 代理人 | 张妍 |
| 主权项 | 1.一种证明逻辑代数公式的演示装置，用于证明逻辑代数公式<img file="201210196708X100001DEST_PATH_IMAGE002.GIF" wi="111" he="62" />成立，即在一个与或表达式中（如公式左边乘积项<img file="201210196708X100001DEST_PATH_IMAGE004.GIF" wi="73" he="62" />）若有一个变量<img file="201210196708X100001DEST_PATH_IMAGE006.GIF" wi="15" he="62" />，它在一个乘积项中为原变量<img file="201210196708X100001DEST_PATH_IMAGE008.GIF" wi="27" he="62" />，而在另一个乘积项为反变量<img file="DEST_PATH_IMAGE010.GIF" wi="27" he="62" />，且这两个乘积项的其余因子都相同<i>A</i>，则此变量<img file="DEST_PATH_IMAGE012.GIF" wi="49" he="62" />是多余的；其特征在于，所述的演示装置包含：通过并联连接的第一演示电路和第二演示电路，以及与所述并联的第一演示电路和第二演示电路通过串联连接的电源；所述第一演示表示需证明的逻辑代数公式<img file="872921DEST_PATH_IMAGE002.GIF" wi="111" he="62" />中的与或表达式<img file="752540DEST_PATH_IMAGE004.GIF" wi="73" he="62" />的逻辑组合；所述第二演示表示需证明的逻辑代数公式<img file="637319DEST_PATH_IMAGE002.GIF" wi="111" he="62" />中的与或表达式<img file="DEST_PATH_IMAGE014.GIF" wi="15" he="62" />的逻辑组合。 | ||
| 地址 | 201206 上海市浦东新区金海路2360号 | ||