真值表法求主析取范式和主合取范式代码 离散数学
南京邮电大学实验一真值表法求主析取范式和主合取范式代码 离散数学
实 验 一利用真值表法求取主析取范式以及主合取范式的实现
实验名称:利用真值表法求取主析取范式以及主合取范式的实现
实验目的:通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握
实验类型:验证
实验学时:4
实验环境:Windows+VC
从屏幕输入含三个以内变量的合式公式(其中联结词按照从高到底的顺序出现)
可用字符数组a记录输入的合式公式
如:输入PQPQ
!表示;&表示;|表示;>表示;-表示
规范列出所输合式公式的真值表
多重循环显示真值表(1表示T,0表示F,先1后0)
P Q A
1 1 ?
将赋值代入公式(可用数组b记录与a中变量对应的赋值)
b[0/2/4/6]=-1, b[1/5]=P值, b[3/7]=Q值
从左往右计算(用switch a[i] case对运算符进行处理)
:b[i+1]=! b[i+1]
:b[i+1]=b[i-1] && b[i+1]
真值表法求主析取范式和主合取范式代码 离散数学
发货方式
1、自动:在上方保障服务中标有自动发货的商品,拍下后,将会自动收到来自卖家的商品获取(下载)链接;
2、手动:未标有自动发货的的商品,拍下后,卖家会收到邮件、短信提醒,也可通过QQ或订单中的电话联系对方。
交易周期
1、源码默认交易周期:自动发货商品为1天,手动发货商品为3天,买家有1次额外延长3天交易周期的权利;
2、若上述交易周期双方依然无法完成交易,任意一方可发起追加周期(1~60天)的请求,对方同意即可延长。
退款说明
1、描述:源码描述(含标题)与实际源码不一致的(例:描述PHP实际为ASP、描述的功能实际缺少、版本不符等);
2、演示:有演示站时,与实际源码小于95%一致的(但描述中有"不保证完全一样、有变化的可能性"类似显著声明的除外);
3、发货:手动发货源码,在卖家未发货前,已申请退款的;
4、安装:免费提供安装服务的源码但卖家不履行的;
5、收费:额外收取其他费用的(但描述中有显著声明或双方交易前有商定的除外);
6、其他:如质量方面的硬性常规问题等。
注:经核实符合上述任一,均支持退款,但卖家予以积极解决问题则除外。
注意事项
1、第一虚拟会对双方交易的过程及交易商品的快照进行永久存档,以确保交易的真实、有效、安全!
2、第一虚拟无法对如“永久包更新”、“永久技术支持”等类似交易之后的商家承诺做担保,请买家自行鉴别;
3、在源码同时有网站演示与图片演示,且站演与图演不一致时,默认按图演作为纠纷评判依据(特别声明或有商定除外);
4、在没有"无任何正当退款依据"的前提下,商品写有"一旦售出,概不支持退款"等类似的声明,视为无效声明;
5、在未拍下前,双方在QQ上所商定的交易内容,亦可成为纠纷评判依据(商定与描述冲突时,商定为准);
5、因聊天记录可作为纠纷评判依据,故双方联系时,只与对方在第一虚拟上所留的QQ、手机号沟通,以防对方不承认自我承诺。
7、虽然交易产生纠纷的几率很小,但一定要保留如聊天记录、手机短信等这样的重要信息,以防产生纠纷时便于第一虚拟介入快速处理。
第一虚拟声明
1、第一虚拟作为第三方中介平台,依据交易合同(商品描述、交易前商定的内容)来保障交易的安全及买卖双方的权益;
2、非平台线上交易的项目,出现任何后果均与第一虚拟无关;无论卖家以何理由要求线下交易的,请联系管理举报。