|国家科技期刊平台
| 注册
首页|期刊导航|计算机与现代化|命题逻辑中的集合表示

命题逻辑中的集合表示

徐凤生

计算机与现代化Issue(5)：4-6,3.
✕
计算机与现代化Issue(5)：4-6,3.

命题逻辑中的集合表示

Algorithm for Solving Principal Normal Form

徐凤生1

作者信息

  • 1. 德州学院计算机系,山东,德州,253023
  • 折叠

摘要

关键词

命题逻辑/主析取范式/主合取范式

分类

数理科学

引用本文复制引用

徐凤生..命题逻辑中的集合表示[J].计算机与现代化,2005,(5):4-6,3.

计算机与现代化

1006-2475

访问量0
|
下载量0
段落导航相关论文