联接词的扩充和规约.pdfVIP

离散数学 Discrete Mathematics 数理逻辑 1.4联接词扩充与规约 张晓 西北工业大学计算机学院 zhangxiao@nwpu.edu.cn 2011-1-10 前言 已经定义了非、合取、析取、蕴含、等值五 种运算，是否存在其他的运算? 运算符的扩展 运算符之间是否可以互相替代？ 运算符的规约 2011-1-10 离散数学 2 1.4.1 联结词的扩充 1. 一元运算 P f f f f 1 2 3 4 0 0 0