收藏本站
《陕西教育学院学报》 1995年04期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

Carnot图证明法

姚建武  
【摘要】:Carnot图是逻辑函数化简的一种图表。本文探讨了将该图用于逻辑恒等式的证明。导出了这种方法证明的理论根据,给出了用此方法证明的具体步骤。最后将其与同类方法作了比较,发现它是一种比较简便,且容易掌握的逻辑证明方法。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 孙霞林;逻辑恒等式的若干证法[J];华中农业大学学报;2001年04期
2 杭国强,吴训威;三值格代数中的对偶原理[J];浙江大学学报(理学版);1994年04期
3 杨建省;崔鸿;李巴津;李莉;;逻辑方程组分析及其求解方法[J];内蒙古工业大学学报(自然科学版);1989年01期
4 沈京一;;永真蕴含式的一条性质[J];常州工学院学报;1991年04期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978