离散数学实验二：命题逻辑(2).docVIP

离散数学实验报告 1．【实验序号】 实验二 命题逻辑（2） 2．【实验目的】 熟悉掌握命题逻辑中真值表，进一步能用它们来解决实际问题。 3．【实验内容】 求任意一个命题公式的真值表 4. 【实验要求】 对于给定的命题公式，生成相应真值表，然后用函数运算，输出结果：如生成逻辑非、合取、析取、条件、双条件表达式的真值表，例如： 输入 !a 输出真值表如下： a !a 1 0 输入ab 输出真值表如下： 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 输入ab (其中表示双条件) 输出真值表如下： a b a←→b 0 0 1 0 1 0 1 0 0 1 1 1 通过以下界面提示实现相应逻辑运算，列出其真值表 *********************************