离散数学命题逻辑_第1页
离散数学命题逻辑_第2页
离散数学命题逻辑_第3页
离散数学命题逻辑_第4页
离散数学命题逻辑_第5页
已阅读5页，还剩112页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

1、表 1 .1 .1 的 定 义P P1001表 1 .1 .2 的 定 义P QP Q0 00 11 01 10001表表 1 .1 .3 的的 定定 义义P Q P Q0 00 11 01 10111表表 1 .1 .4 的的 定定 义义P QP Q0 00 11 01 11101表表 1 .1 .5 的的 定定 义义P QP Q0 00 11 01 11001P Q P Q P Q P Q P Q0 00 11 01 11 1 0 01 0 0 11 0 1 10 0 0 0222P Q F T PQ P QP Q P Q P Q P Q0 00 11 01 100001111001101

2、01110010100001111001111000所所 用用的的 联联结结 词词 序序 号号 1 2 3 4 5 678910续 表P Q P Q P Q P Q P Q Q P Q P0 00 11 01 1110100101001011010110100所所 用用的的 联联结结 词词 序序 号号1 11213141516 表表 1 .7 .1 两两 个个 命命 题题 变变 元元 的的 小小 项项 真真 值值 表表m( 二二 ) m0 0 m0 1 m1 0 m1 1P Q P Q P Q P Q P Q0 0 1 0 0 00 1 0 1 0 01 0 0 0 1 01 1 0 0 0

3、1m(+ ) m0 m1 m2 m3 表表 1 .7 .2 3个个 命命 题题 变变 元元 的的 小小 项项 真真 值值 表表m(二二 )m0 0 0m0 0 1m0 1 0m0 1 1P Q R P Q R P Q R P Q R P Q R0 0 010000 0 101000 1 000100 1 100011 0 000001 0 100001 1 000001 1 10000m(+ )m0m1m2m3 续续 表表m(二二 )m100m101m1 10m1 1 1P Q R P Q R P Q RP Q RP Q R0 0 000000 0 100000 1 000000 1 100001 0 010001 0 101001 1 000101 1 10001m(+)m4m5m6m7ni 1表表 1 .7 .3 两两 个个 命命 题题 变变 元元 的的 大大 项项 真真 值值 表表M0 0M0 1M1 0M1 1M(二二 ) Mi I(Mi)P QP Q P Q P Q P Q0 00 11 01 10111101111011110M(+ )M0M1M2M31jm2jmknj

人人文库> 全部分类> 教育资料 > 辅导培训

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论