本次实验旨在掌握MATLAB编程中逻辑联接词的运算，包括命题公式的真值表生成、真值类型判断及主析取、主合取范式的求解。实验内容涉及5个基本逻辑运算的函数实现，通过给定的命题P、Q、R的真值，得出相应真值表，并进一步求解逻辑表达式的范式。
一、 实验目的和要求
1.掌握联接词的运算。
2.学会将逻辑联接词融合到程序中。
3.掌握真值表类型的判断。
4.掌握主析取范式，主合取范式的求法。
二、 实验内容和原理
MATLAB编程实现命题公式 的真值表，判断真值类型，求出主析取，主合取范式。
题目:
第一题： p→（p∧q∨r）
第二题：((p→q) ∨(q→r)) ∧(p→r)
第三题：﹁(q∧r) ∨r
第四题：(p→q) ∨(r→s)
三、 主要仪器设备
计算机，Matlab软件
四、 实验操作方法和步骤*
给命题P,Q,R赋真值或假值。通过MATLAB编程运算，建立析取，合取，非，蕴含,等价5个基本逻辑运算的函数体，通过函数调用，得出相应的真值表。并编程判断真值表的真值类型，并求出主析取，主合取范式
五、matlab代码如下
最低0.47元/天 解锁文章
扫一扫
311
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
