离散数学计算笛卡尔乘积C++或C语言实验报告(2)

真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。 真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。

2.实验过程

首先是输入一个合理的式子，生成相应真值表，然后用函数运算，输出结果：要求可生成逻辑非、合取、析取、蕴含、双条件表达式的真值表，例如：

输入 !a

输出真值表如下：

a !a

0 1

1 0

输入a&&b

输出真值表如下：

a b a&&b

0 0 0

0 1 0

1 0 0

1 1 1

输入a||b

输出真值表如下：

a b a||b

0 0 0

0 1 1

1 0 1

1 1 1

输入a->b

输出真值表如下：

a b a->b

0 0 1

0 1 1

1 0 0

1 1 1

输入a<>b (其中<>表示双条件)

输出真值表如下：

a b a<>b

0 0 1

0 1 0

1 0 0

1 1 1

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，第一范文网，提供最新教学研究离散数学计算笛卡尔乘积C++或C语言实验报告(2)全文阅读和word下载服务。