【离散数学】给出真值表求其对应的主范式

偏执的太偏执、 2023-10-18 12:58 2阅读 0赞

![要求][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzcxNzgzOQ_size_16_color_FFFFFF_t_70]  
分析：  
由已经学过的知识和编程基础知识分析该题：我认为主要难点有两个：第一个是真值表的输出问题  
第二个是主析取范式或者主合取范式的输出问题。  
对于第一个问题，可以利用真值与二进制之间的关系（1代表T，0代表F）来解决，对于第二个问题，需要在完成第一步的前提下·实现，因此，我采取的办法是先在第一步中统计用户输入的T或者F的个数，然后在一个数组中循环储存变量名称，之后  
1.遍历搜索真值为T的行  
2.遍历判断该行所有变量的真值，T则输出变量，F则输出变量的否定，并加上相应的V或者∧，  
3.当遍历查询到的T的个数与第一步用户输入的T的个数相等时，判定为输出结束。  
同理可以实现主合取范式的输出.  
举个例子，当我输入2个变量时：运行效果图如下  
![运行][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzcxNzgzOQ_size_16_color_FFFFFF_t_70 1]  
当我输

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzcxNzgzOQ_size_16_color_FFFFFF_t_70]: https://img-blog.csdnimg.cn/20181222224456786.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzcxNzgzOQ==,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzcxNzgzOQ_size_16_color_FFFFFF_t_70 1]: https://img-blog.csdnimg.cn/20181222224558474.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl80MzcxNzgzOQ==,size_16,color_FFFFFF,t_70