离散数学
1数理逻辑
命题:非真即假的陈述句
联结词:比如非p,这个非就是否定连结词; 比如且,就是合取连结词:含有非,且(合取),或(析取),如果。。。则,当且仅当(等价)
重言式(永真式):永远是对的
矛盾式(永假式):恒为0
可满足式:不是矛盾式
成真赋值:就是为1的赋值
成假赋值:就是为0的赋值
析取式:就是或; 合取式:就是且
等值式:就是两边可以互相推导的,(其中有一个蕴含等值式:A->B等价于 非A或B,因为只有10为假,其余为真):等值式作用是为了等价替换,更容易看出是真还是假
析取范式:由有限个简单的合取式的析取构成
合取范式:由有限个简单的析取式的合取构成
极小项:就是且的所有情况,而且每个命题变元必须是p或者非p,而且小标对应成真赋值的十进制数;
极大项:就是或的所有情况,而且每个命题变元必须是p或者非p,而且小标对应成假赋值的十进制数;
主析取范式:析取范式里面每个小项里面的合取式都是极小项,那么称为主析取范式。
主合取范式:合取范式内部每个小项的析取式都是极大项&