发明名称 证明逻辑代数公式的演示装置
摘要 本发明公开了一种证明逻辑代数公式<img file="2012101935996100004dest_path_image002.GIF" wi="131" he="16" />的演示装置,即在一个与或表达式<img file="2012101935996100004dest_path_image004.GIF" wi="58" he="16" />中,若其中一个乘积项A的非<img file="2012101935996100004dest_path_image006.GIF" wi="12" he="16" />是第二个乘积项<img file="2012101935996100004dest_path_image008.GIF" wi="26" he="32" />的因子<img file="2012101935996100004dest_path_image010.GIF" wi="15" he="32" />,则该第二个乘积项<img file="253613dest_path_image008.GIF" wi="27" he="32" />所包含的因子<img file="108436dest_path_image010.GIF" wi="15" he="32" />是多余的;演示装置包含:并联连接的第一演示电路和第二演示电路,以及与所述并联后的第一演示电路和第二演示电路通过串联连接的电源;第一演示电路表示需证明的逻辑代数公式中的与或表达式<img file="dest_path_image004a.GIF" wi="58" he="16" />的逻辑组合;第二演示电路表示需证明的逻辑代数公式中的与或表达式<img file="2012101935996100004dest_path_image012.GIF" wi="46" he="13" />的逻辑组合。本发明利用视觉化的图形思维方式设计,能有效加强初学者在面对数字电路中的常用逻辑问题时的理解能力,从而有效加强教学质量。
申请公布号 CN102708739A 申请公布日期 2012.10.03
申请号 CN201210193599.6 申请日期 2012.06.13
申请人 上海第二工业大学 发明人 谈进
分类号 G09B23/18(2006.01)I 主分类号 G09B23/18(2006.01)I
代理机构 上海信好专利代理事务所(普通合伙) 31249 代理人 张妍
主权项 1.一种证明逻辑代数公式的演示装置,用于证明逻辑代数公式<img file="2012101935996100001DEST_PATH_IMAGE002.GIF" wi="131" he="16" />成立,即在一个与或表达式<img file="2012101935996100001DEST_PATH_IMAGE004.GIF" wi="58" he="16" />中,若其中一个乘积项A的非<img file="2012101935996100001DEST_PATH_IMAGE006.GIF" wi="12" he="16" />是第二个乘积项<img file="2012101935996100001DEST_PATH_IMAGE008.GIF" wi="27" he="62" />的因子<img file="2012101935996100001DEST_PATH_IMAGE010.GIF" wi="15" he="62" />,则该第二个乘积项<img file="823003DEST_PATH_IMAGE008.GIF" wi="27" he="62" />所包含的因子<img file="155895DEST_PATH_IMAGE010.GIF" wi="15" he="62" />是多余的;其特征在于,所述演示装置包含:通过并联连接的第一演示电路和第二演示电路,以及与所述并联后的第一演示电路和第二演示电路通过串联连接的电源;所述第一演示电路表示需证明的逻辑代数公式<img file="2012101935996100001DEST_PATH_IMAGE002A.GIF" wi="131" he="16" />中的与或表达式<img file="DEST_PATH_IMAGE004A.GIF" wi="58" he="16" />的逻辑组合;所述第二演示电路表示需证明的逻辑代数公式<img file="2012101935996100001DEST_PATH_IMAGE002AA.GIF" wi="131" he="16" />中的与或表达式<img file="2012101935996100001DEST_PATH_IMAGE012.GIF" wi="46" he="13" />的逻辑组合。
地址 201206 上海市浦东新区金海路2360号