2022年1月10日
离散数学第一章数理逻辑1.3范式
摘要： 将命题公式转化为逻辑等价的标准形式问题，标准形式就叫范式 1.3.1析取范式和合取范式 合取：积 析取：和 基本积：命题公式中一些命题变元和一些命题变元的否定之积 基本和：命题公式中一些命题变元和一些命题变元的否定之和 因子：基本积（和）中子公式 基本积永假，当且仅当含有P和非P 基本和永真，当且仅 阅读全文
posted @ 2022-01-10 09:59 晓屈 阅读(638) 评论(0) 推荐(0) 编辑