问题 F: 真值表(Ⅰ)

已于 2024-06-21 01:55:27 修改
阅读量1.5k 收藏 14
点赞数 20
分类专栏： 2024.6 hnust 23级数据结构课程设计 文章标签： c++ 数据结构 算法 c语言
于 2024-06-19 05:55:56 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_50950742/article/details/139787995
版权

问题 F: 真值表(Ⅰ)

同学们都学习过《离散数学》这门课程，知道真值表是用于逻辑中的一类数学用表，用来计算逻辑表示式在每一个逻辑变量取值组合下的值。在这里我们给定一个逻辑表达式，要求生成对应的真值表。提示一下，数据结构教材中介绍了数学表达式的处理算法，可以将其改造以适用于我们的项目。

项目分为三个子项目，第一部分为词法分析，即将逻辑表达式分隔为多个词(token)。下面给出两个例子。

例一：
逻辑表达式pq中有p、和q共三个词;

例二：
逻辑表达式p(qr)中有p、、（、q、、r和）共七个词。

逻辑联结词有五个，见下表，这些符号和教材上的有所不同，主要是为了方便。

在这里插入图片描述

引入括号，规定基本逻辑联接词优先顺序从高到低依次是：( )、!、∧、||、->、<->。 同一优先级，从左到右顺序进行。

输入
输入由多行组成，每行都是一个正确的逻辑表达式。

逻辑表达式小于100个字符。
一个正确的逻辑表达式可以包含小写字母，空格和逻辑联结词（含括号）。单个小写字母表示一个逻辑变量，一个表达式中逻辑变量的个数不超过10。空格作为分隔符, 不是词，同一个词的字符之间不能有空格。

输出
每一个逻辑表达式产生如下的输出：
第一行按顺序输出表达式中的所有词。每个词之间用空格分开。
第二行按字母序输出表达式中的所有逻辑变量，用空格分开。
第三行开始输出逻辑变量值的所有组合情况。

样例输入
p
p->q
p||q

样例输出
p
p
1
0
p -> q
p q
1 1
1 0
0 1
0 0
p || q
p q
1 1
1 0
0 1
0 0

计算过程

真值表是使用于逻辑中（特别是在连结逻辑代数、布尔函数和命题逻辑上）的一类数学用表，用来计算逻辑表示式在每种论证（即每种逻辑变数取值的组合）上的值。尤其是，真值表可以用来判断一个命题表示式是否对所有允许的输入值皆为真，亦即是否为逻辑有效的。

真值表被用来计算以“决策程序”建构的命题表示式的值。命题表示式可以是一个原子公式（命题常数、命题变数或命题函数，如Px或P(x)），或以逻辑算子（如逻辑与（ ∧ {\displaystyle \land }
）、逻辑或（ ∨ {\displaystyle \lor }）、逻辑非（ ¬ {\displaystyle \lnot }））由原子公式建构出来的公式。举例来说， F x ∧ G x {\displaystyle Fx\land Gx}即是个命题表示式。

真值表中的列标题展示了 （i）命题函数与/或变量，和 （ii）建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对 （i）和 （ii）的T或F指派的每个可能的求值。换句话说，每行都是对 （i）和 （ii）的不同解释。

经典（就是说二值）逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统，它们是“真”或“假”，通常在表中简单的表示为T和F。

使用汇编语言实现该题目时，需将输入内容存储为字符串类型并遍历三次，第一次遍历字符串，去除空格并计算字母个数，确认符号位；第二次遍历字符串，去除重复字母并按字母顺序排序；第三次遍历字符串，输出每个字母的二进制编码。

在第二个整合后的程序中，我将原来的 main 函数中的逻辑移动到了名为 processString 的函数中。现在 main 函数主要负责读取输入，并调用 processString 函数来处理输入的字符串。这样做使得代码更结构化和易于管理。

以下是代码的逐步解析：

  1. 宏定义：

    • MAX_LENGTH 定义了字符串的最大长度为103。
    • ASCII_a 和 ASCII_z 分别定义了小写字母a和z的ASCII码。

  2. 主函数 main：

    • 定义了一个字符数组 ch，用来存储输入的字符串。

  3. 输入循环：

    • 使用 gets 函数从标准输入读取字符串，直到输入结束。注意：gets 函数是不安全的，因为它不检查缓冲区溢出，所以现代编程实践中推荐使用 fgets。

  4. 第一次遍历字符串：

    • 计算字符串的长度 sum。
    • 定义一个标志变量 flag 用来记录字母的个数。
    • 遍历字符串，执行以下操作：
      • 打印出非空格字符。
      • 当遇到字母时，打印一个空格，并增加 flag 的值。
      • 当遇到非字母字符，且不是特定符号（如 ->、||、<->）时，打印一个空格。

  5. 第二次遍历字符串：

    • 尝试去除重复的字母，但代码逻辑存在问题，因为 ch[i] 被设置为 '1' 后，后续的比较和排序操作将不会按预期执行。
    • 尝试对字母进行排序，但排序算法实现不正确，因为交换操作没有正确地更新索引 i 和 j。

  6. 打印字母：

    • 遍历字符串，如果字符是字母，则打印该字母后跟一个空格。

  7. 第三次遍历字符串：

    • 对于每个可能的二进制数（由 flag 确定位数），执行以下操作：
      • 计算当前二进制数的每一位。
      • 遍历字符串中的每个字母，根据当前二进制位的值打印 “0” 或 “1”。
      • 打印一个换行符结束当前二进制数的输出。

  8. 结束：

    • 程序返回0，表示正常退出。

问题和改进：

  • gets 函数是不安全的，应该替换为 fgets(ch, sizeof(ch), stdin);。
  • 第二次遍历字符串的代码逻辑需要重写，以正确去除重复字母并排序。
  • 第三次遍历字符串的输出逻辑可能需要根据具体需求进行调整，以确保输出正确。

部分实现

代码如下（ 第一次遍历字符串，去除空格并计算字母个数，确认符号位）：

        for (int i = 0; i < sum; i++) {
            if (ch[i] != ' ') {printf("%c", ch[i]);}
            if (ch[i] >= ASCII_a && ch[i] <= ASCII_z) {flag++;printf(" ");}
            if (ch[i] != ' ' && !(ch[i] >= ASCII_a && ch[i] <= ASCII_z) && !(ch[i] == '-' && ch[i + 1] == '>') && !(ch[i] == '|' && ch[i + 1] == '|') && !(ch[i] == '<' &&ch[i + 1] == '-' && ch[i + 2] == '>') && !(ch[i - 1] == '<' && ch[i] == '-' && ch[i + 1] == '>') && !(ch[i - 2] == '<' && ch[i] == '-' && ch[i + 1] == '>')) {printf(" ");}
        }
        printf("\n");

代码如下（第二次遍历字符串，去除重复字母并按字母顺序排序）：

        for(int i=0;i<sum;i++)for(int j=0;j<sum;j++)if(ch[i]==ch[j]&&i!=j&&ch[i]<='z'&&ch[i]>='a'){
        ch[i]='1';flag--;
    }for(int i=0;i<sum;i++)for(int j=0;j<sum;j++){
        if(i<j&&ch[i]>ch[j]&&ch[i]<='z'&&ch[i]>='a'&&ch[j]<='z'&&ch[j]>='a'){
            char m=ch[i];
            ch[i]=ch[j];
            ch[j]=m;
        }
    }
        for(int i=0;i<sum;i++)if(ch[i]<='z'&&ch[i]>='a')printf("%c ",ch[i]);
        printf("\n");

代码如下（第三次遍历字符串，输出每个字母的二进制编码）：

        for (int j = 1; j <= pow(2, flag); j++) {
            int x = pow(2, flag);
            int y = flag - 1;
            int z = (j - 1) % x;
            if (j == pow(2, flag) + 1) {z = pow(2, flag); }
            for (int i = 0; i < sum; i++) {
                if (ch[i] >= ASCII_a && ch[i] <= ASCII_z) 
                {
                    int n = pow(2, y);
                    if (n == 1) 
                    {
                        int o = j / n;
                        if ((o % 2 == 0)) {printf("0 ");} 
                        else {printf("1 "); }
                    } 
                    else 
                    {
                        int o = z / n;
                        if ((o % 2 == 0)) {printf("1 ");} 
                        else {printf("0 ");}
                    }
                    y--;
                }
            }
            printf("\n");
        }

AC代码（第一个为计算过程存在于主函数之内，第二个为计算过程自定义函数）

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <math.h>
  
#define MAX_LENGTH 103
#define ASCII_a 97
#define ASCII_z 122
  
int main() {
    char ch[MAX_LENGTH];
  
    while (gets(ch)) {
        int sum = strlen(ch);
        int flag = 0;
  
        // 第一次遍历字符串，去除空格并计算字母个数，确认符号位
        for (int i = 0; i < sum; i++) {
            if (ch[i] != ' ') {printf("%c", ch[i]);}
            if (ch[i] >= ASCII_a && ch[i] <= ASCII_z) {flag++;printf(" ");}
            if (ch[i] != ' ' && !(ch[i] >= ASCII_a && ch[i] <= ASCII_z) && !(ch[i] == '-' && ch[i + 1] == '>') && !(ch[i] == '|' && ch[i + 1] == '|') && !(ch[i] == '<' &&ch[i + 1] == '-' && ch[i + 2] == '>') && !(ch[i - 1] == '<' && ch[i] == '-' && ch[i + 1] == '>') && !(ch[i - 2] == '<' && ch[i] == '-' && ch[i + 1] == '>')) {printf(" ");}
        }
        printf("\n");
  
        // 第二次遍历字符串，去除重复字母并按字母顺序排序
        for(int i=0;i<sum;i++)for(int j=0;j<sum;j++)if(ch[i]==ch[j]&&i!=j&&ch[i]<='z'&&ch[i]>='a'){
        ch[i]='1';flag--;
    }for(int i=0;i<sum;i++)for(int j=0;j<sum;j++){
        if(i<j&&ch[i]>ch[j]&&ch[i]<='z'&&ch[i]>='a'&&ch[j]<='z'&&ch[j]>='a'){
            char m=ch[i];
            ch[i]=ch[j];
            ch[j]=m;
        }
    }
        for(int i=0;i<sum;i++)if(ch[i]<='z'&&ch[i]>='a')printf("%c ",ch[i]);
        printf("\n");
         
        // 第三次遍历字符串，输出每个字母的二进制编码
        for (int j = 1; j <= pow(2, flag); j++) {
            int x = pow(2, flag);
            int y = flag - 1;
            int z = (j - 1) % x;
            if (j == pow(2, flag) + 1) {z = pow(2, flag); }
            for (int i = 0; i < sum; i++) {
                if (ch[i] >= ASCII_a && ch[i] <= ASCII_z) 
                {
                    int n = pow(2, y);
                    if (n == 1) 
                    {
                        int o = j / n;
                        if ((o % 2 == 0)) {printf("0 ");} 
                        else {printf("1 "); }
                    } 
                    else 
                    {
                        int o = z / n;
                        if ((o % 2 == 0)) {printf("1 ");} 
                        else {printf("0 ");}
                    }
                    y--;
                }
            }
            printf("\n");
        }
    }
  
    return 0;
}

#include <stdio.h>
#include <string.h>
#include <math.h>

#define MAX_LENGTH 103
#define ASCII_a 97
#define ASCII_z 122

void processString(char ch[]) {
    int sum = strlen(ch);
    int flag = 0;

    // 第一次遍历字符串，去除空格并计算字母个数
    for (int i = 0; i < sum; i++) {
        if (ch[i] != ' ') {
            printf("%c", ch[i]);
        }
        if (ch[i] >= ASCII_a && ch[i] <= ASCII_z) {
            flag++;
            printf(" ");
        }
        if (ch[i] != ' ' && !(ch[i] >= ASCII_a && ch[i] <= ASCII_z) &&
            !(ch[i] == '-' && ch[i + 1] == '>') &&
            !(ch[i] == '|' && ch[i + 1] == '|') &&
            !(ch[i] == '<' && ch[i + 1] == '-' && ch[i + 2] == '>') &&
            !(ch[i - 1] == '<' && ch[i] == '-' && ch[i + 1] == '>') &&
            !(ch[i - 2] == '<' && ch[i] == '-' && ch[i + 1] == '>')) {
            printf(" ");
        }
    }
    printf("\n");

    // 第二次遍历字符串，去除重复字母并按字母顺序排序
    for (int i = 0; i < sum; i++) {
        for (int j = 0; j < sum; j++) {
            if (ch[i] == ch[j] && i != j && ch[i] <= 'z' && ch[i] >= 'a') {
                ch[i] = '1';
                flag--;
            }
        }
    }
    for (int i = 0; i < sum; i++) {
        for (int j = 0; j < sum; j++) {
            if (i < j && ch[i] > ch[j] && ch[i] <= 'z' && ch[i] >= 'a' && ch[j] <= 'z' && ch[j] >= 'a') {
                char m = ch[i];
                ch[i] = ch[j];
                ch[j] = m;
            }
        }
    }
    for (int i = 0; i < sum; i++) {
        if (ch[i] <= 'z' && ch[i] >= 'a') {
            printf("%c ", ch[i]);
        }
    }
    printf("\n");

    // 第三次遍历字符串，输出每个字母的二进制编码
    for (int j = 1; j <= pow(2, flag); j++) {
        int x = pow(2, flag);
        int y = flag - 1;
        int z = (j - 1) % x;
        if (j == pow(2, flag) + 1) {
            z = pow(2, flag);
        }
        for (int i = 0; i < sum; i++) {
            if (ch[i] >= ASCII_a && ch[i] <= ASCII_z) {
                int n = pow(2, y);
                if (n == 1) {
                    int o = j / n;
                    if ((o % 2 == 0)) {
                        printf("0 ");
                    } else {
                        printf("1 ");
                    }
                } else {
                    int o = z / n;
                    if ((o % 2 == 0)) {
                        printf("1 ");
                    } else {
                        printf("0 ");
                    }
                }
                y--;
            }
        }
        printf("\n");
    }
}

int main() {
    char ch[MAX_LENGTH];

    while (gets(ch)) {
        processString(ch);
    }

    return 0;
}
祈念.
关注
  • 20
    点赞
  • 踩
  • 14
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
问题 F: 真值表(Ⅰ) 2022
weixin_46337464的博客
06-16 5494
问题 F: 真值表(Ⅰ) 时间限制: 1 Sec 内存限制: 128 MB 提交: 4527 解决: 469 [状态] [提交] [命题人:cyh] 题目描述 同学们都学习过《离散数学》这门课程，知道真值表是用于逻辑中的一类数学用表，用来计算逻辑表示式在每一个逻辑变量取值组合下的值。在这里我们给定一个逻辑表达式，要求生成对应的真值表。提示一下，数据结构教材中介绍了数学表达式的处理算法，可以将其改造以适用于我们的项目。 项目分为三个子项目，第一部分为词法分析，即将逻辑表达式分隔为多
真值表（Ⅰ）
Extrella_的博客
06-19 242
OJ已过，仅供参考，不要直接复制粘贴。
真值表(Ⅰ)
菜鸟一枚。
10-13 4170
同学们都学习过《离散数学》这门课程，知道真值表是用于逻辑中的一类数学用表，用来计算逻辑表示式在每一个逻辑变量取值组合下的值。提示一下，数据结构教材中介绍了数学表达式的处理算法，可以将其改造以适用于我们的项目。一个正确的逻辑表达式可以包含小写字母，空格和逻辑联结词（含括号）。单个小写字母表示一个逻辑变量，一个表达式中逻辑变量的个数不超过10。项目分为三个子项目，第一部分为词法分析，即将逻辑表达式分隔为多个词(token)。第二行按字母序输出表达式中的所有逻辑变量，用空格分开。
Ｃ＋＋真值表模拟程序
12-03
在离散数学中，真值表是一种用于展示逻辑表达式所有可能取值组合及其对应结果的表格。这个“Ｃ＋＋真值表模拟程序”旨在帮助用户理解和验证逻辑表达式的运算规则，通过计算机自动化计算避免手动操作的繁琐。C++作为...
深入理解线程安全与Singleton
09-05
线程安全问题通常出现在共享资源的访问中，当多个线程同时访问和修改同一块内存区域时，如果没有合适的同步机制，就可能出现数据不一致、死锁或其他未定义的行为。 Singleton模式是一种设计模式，用于确保一个类...
全国Ⅰ卷2020届高考数学百日冲刺金卷二文20200428016
09-09
- 函数f(x)=sin(ωx+φ)的对称轴问题，要求ω的取值范围，这涉及到三角函数的周期和对称性质。 10. **函数单调性与比较大小** - 给定函数的单调性，比较两个特定点处函数值的大小。 11. **几何体的三视图** - ...
20秋学期东北大学《数字电子技术基础Ⅰ》在线平时作业3【满分答案】.docx
10-23
状态转换真值表、特性方程和状态转换图都是描述触发器逻辑功能的方法。函数F=AB+BC，F=1的输入组合为ABC=110。TTL与非门的输入端悬空时相当于逻辑1。EPROM指的是可擦可编程的只读存储器。 同步时序电路是由组合逻辑...
河北省涞水波峰中学2018届高三调研考试数学（理）试题.doc
08-19
5. **命题与逻辑**：包含命题的否定、真值表、复合命题的真假判断。 6. **充要条件**：理解什么是充分条件、必要条件以及它们的关系。 7. **不等式解法**：如利用函数单调性解不等式。 8. **二次函数**：二次函数...
(C++二叉树02) 翻转二叉树 对称二叉树 二叉树的深度
qq_44962949的博客
07-17 55
【代码】(C++二叉树02) 翻转二叉树 对称二叉树 二叉树的深度。
c++ primer plus 第16章string 类和标准模板库,string 类输入
zhyjhacker的博客
07-14 1059
c++ primer plus 第16章string 类和标准模板库,string 类输入。
学懂C语言系列（三）：C语言基本语法
martian665的专栏
07-17 387
学懂C语言系列,C语言基本语法
c++ 生成随机字符串
m0_56306892的博客
07-15 200
以下是一个示例代码，它使用std::random_device和std::mt19937生成随机字符，并将结果存储在一个字符串中。std::uniform_int_distribution<> distribution(0, max_index - 1) 创建一个均匀分布，以确保生成的随机数在字符集的索引范围内。输出随机字符串: 在主函数中调用generateRandomString生成一个长度为1024的随机字符串，并输出结果。std::random_device rd 用于生成一个随机种子。
C语言 2个日期相关的函数
waterHBO的博客
07-15 134
读代码的过程中，遇到2个日期相关的工具函数， 记录一下。比较日期，计算日期间隔（天数)
05day--C++日期类的实现与取地址运算符的重载
weixin_73863912的博客
07-13 463
• const实际修饰该成员函数隐含的this指针，表明在该成员函数中不能对类的任何成员进⾏修改。const 修饰Date类的Print成员函数，Print隐含的this指针由 Date* const this 变为 const Date* const this。• 将const修饰的成员函数称之为const成员函数，const修饰成员函数放到成员函数参数列表的后⾯。取地址运算符重载分为普通取地址运算符重载和const取地址运算符重载，⼀般这两个函数编译器⾃动。⽣成的就可以够我们⽤了，不需要去显⽰实现。
鸿蒙开发：Universal Keystore Kit（密钥管理服务）【密钥删除(C/C++)】
m0_70748845的博客
07-12 363
为保证数据安全性，当不需要使用该密钥时，应该删除密钥。
Windows 点云生成二维栅格图 [附C++完整代码实现]
最新发布
weixin_43896283的博客
07-17 40
三维点云数据转换为二维栅格图
C++中的多态：虚函数与纯虚函数详解
TheJustice_的博客
07-14 427
在C++中，虚函数是在基类中使用virtual关键字声明的函数。当基类指针或引用指向派生类对象时，调用虚函数将执行派生类中的版本。public:public:void display() override { // 使用 override 确保函数被正确重写纯虚函数在基类中使用virtual关键字和= 0来声明。public:// 纯虚函数。
[C/C++入门][变量和运算]7、交换变量（空杯思想）
qq_14840819的专栏
07-14 545
如图，一杯牛奶，一杯咖啡，如何进行交换呢？相信懂的都懂，不懂的看完这个图也就懂了。生活中非常简单的例子，放到我们计算机中也同样适用。
问题 H: 真值表(Ⅲ)
06-08
通过真值表(Ⅲ)的分析，我们可以更好地理解逻辑运算，更加准确地描述和解决问题。真值表(Ⅲ)通常用于验证逻辑表达式的正确性，简化逻辑表达式以及在电路设计和编程中使用。在实际应用中，我们可以通过真值表(Ⅲ)来...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值