现代逻辑导引Introduction to Modern Logic铁享娠礼准岭扒誊翔拧氨溉厨偏沈有缚眠出栗伴鹅钮攫豌纲丝言兔外...
页数:49页|格式:ppt下载文档
离散数学Discrete Mathematics僻擞凹氢狠掠淫泌刘蛰钮屑指纯畴姑金藩钾辈膊烘据嚷屯棋陈把号畦饭忍第一章命...
页数:66页|格式:ppt下载文档
例1 . 设三元真值函数f为:f(0,0,0)=0,f(0,0,1)=1,f(0,1,0)=0,f(1,0,0)=1f(0,1,1)=1,f(1,0,1)=1,f(1,1,0)=0,...
页数:7页|格式:doc下载文档
一、选择题1.函数f(x)=x|x+a|+b是奇函数的充要条件是 ( )A.ab=0 B.a+b=0 C.a=b D.a2+b2=02.“至多有三个”的...
页数:6页|格式:doc下载文档
第一部分数理逻辑(Mathematical Logic)逻辑形式逻辑辩证逻辑数理逻辑命题演算谓词演算12/1/2018计算机科学与...
页数:219页|格式:ppt下载文档
基本等值式1.双重否定律 A ?┐┐A2.幂等律 A ? A∨A, A ? A∧A3.交换律 A∨B ? B∨A, A∧B ? B∧A4.结合律(...
页数:17页|格式:ppt下载文档
ABNot A非And与Or或Xor异或Eqv相等Imp蕴含TTFTTFTTTFFFTTFFFTTFTTFTFFTFFFTTT――True F――False逻辑运算真...
页数:7页|格式:doc下载文档