首页
社区
课程
招聘
问答 CTF 排行榜 知识库 工具下载 峰会 看雪商城 证书查询
  1. 社区
  2. 编程技术
    3. 发新帖
求帮逻辑表达式的证明！
发表于: 2007-3-29 13:09 4393

求帮逻辑表达式的证明！

ELyt 活跃值
2007-3-29 13:09
4393
C语言:
其中：int a,b,c,d；
证明:(1) a&b&(c|d)|d|!d&(a|b)&(!b+!c) == a|b&!c|d
      (2) a&!b|b&d|c&d&e|!a&d == a&!b|d

VB:
a,b,c,d为布尔型变量，a,b,c,d为不定值。
证明下面两个式子一定成立！
    (1) a and b and (c or d) or d or (not d) and (a or b) and (not b  & not c) = a or b and not c or d
    (2) a and nod b or b and d or c and d and e or not a and d =a and not b or d

[培训]内核驱动高级班，冲击BAT一流互联网大厂工作，每周日13:00-18:00直播授课

收藏
免费 ・0
支持
分享
最新回复 (3)
sdzbyy
雪    币： 236
活跃值： (11)
能力值： ( LV12，RANK：210 )
在线值：
发帖
回帖
粉丝
私信
2 楼
运算一下真值表就可以了。
#include <windows.h>
void main()
{
        for(int a=0;a<2;a++)
   {
       for(int b=0;b<2;b++)
        {
         for(int c=0;c<2;c++)
             {
               for(int d=0;d<2;d++)
                  {
                   if((a&&b&&(c||d)||d||!d&&(a||b)&&(!b+!c) )!=( a||b&&!c||d))MessageBox(NULL,"not equal \n",NULL,NULL);
                  }
             }
         }
   }
MessageBox(NULL,"equal \n",NULL,NULL);
}
2007-3-29 13:35
0
ELyt
雪    币： 114
活跃值： (11)
能力值： ( LV9，RANK：190 )
在线值：
发帖
回帖
粉丝
私信
3 楼
多谢sdzbyy，老师要是公式法证明，不是上机编写程序，如果是编程的话，谁都知道了，我们又不是会编程的呀。不过公式证明得起来又很好玩，我们已经用公式出了。谢谢大家的关专。
2007-3-29 21:30
0
sdzbyy
雪    币： 236
活跃值： (11)
能力值： ( LV12，RANK：210 )
在线值：
发帖
回帖
粉丝
私信
4 楼
离散数学~
2007-3-31 20:01
0
游客
登录 | 注册 方可回帖
回帖 表情 雪币赚取及消费
高级回复
返回
//