离散数学课程设计报告离数学课程设计报告.docVIP

 PAGE \* MERGEFORMAT - 22 - “离散数学”课程设计 题目： 命题公式的真值表算法 专 业 班 级 学 号 姓 名 2014.11.3  目录  TOC \o 1-3 \h \z \u  HYPERLINK \l _Toc276474920 一.实验目的 2  HYPERLINK \l _Toc276474921 二.实验内容 2  HYPERLINK \l _Toc276474922 1. 逻辑联接词的运算 2  HYPERLINK \l _Toc276474923 2. 求任意一个命题公式的真值表 3  HYPERLINK \l _Toc276474924 三.实验环境 3  HYPERLINK \l _Toc276474925 四. 实验原理和实现过程（算法描述） 3  HYPERLINK \l _Toc276474926 1.实验原理 3  HYPERLINK \l _Toc276474927 2.实验过程 4  HYPERLINK \l _Toc276474928 五.实验数据及结果分析 8 1. HYPERLINK \l _Toc276474929 题A 8