import itertools def extract_variables(expr): """ 从表达式中提取所有逻辑变量 """ variables = set() for char in expr: if char.islower(): variables.add(char) return sorted(list(variables)) def evaluate(expr, variables): """ 计算表达式的值 """ expr = expr.replace('(', '').replace(')', '') for variable in variables: expr = expr.replace(variable, str(int(variable in variables))) return eval(expr) def main(): while True: try: expr = input().strip() except: break # 提取所有逻辑变量 variables = extract_variables(expr) # 输出表头 headers = variables + [expr] print(' '.join(headers)) # 输出逻辑变量值的所有组合情况 for combination in itertools.product([0, 1], repeat=len(variables)): values = dict(zip(variables, combination)) result = evaluate(expr, values) row = combination + (result,) print(' '.join([str(value) for value in row])) if __name__ == '__main__': main()

时间: 2024-02-14 11:12:31 浏览: 24
这是一个Python代码,用于计算逻辑表达式的真值表。下面是该代码的C语言实现: ```c #include <stdio.h> #include <stdlib.h> #include <string.h> #include <math.h> #define MAX_EXPR_LEN 100 char *extract_variables(char *expr) { /* 从表达式中提取所有逻辑变量 */ char *variables = (char *)malloc(sizeof(char) * 26); int i, j, len; len = strlen(expr); j = 0; for (i = 0; i < len; i++) { if (expr[i] >= 'a' && expr[i] <= 'z') { variables[j++] = expr[i]; } } variables[j] = '\0'; return variables; } int evaluate(char *expr, char *variables) { /* 计算表达式的值 */ int i, j, len; char var[2] = {'\0', '\0'}; char *str = (char *)malloc(sizeof(char) * MAX_EXPR_LEN); len = strlen(expr); for (i = 0; i < len; i++) { if (expr[i] == '(' || expr[i] == ')') { continue; } var[0] = expr[i]; if (strchr(variables, var[0])) { strncat(str, "1", 1); } else { strncat(str, "0", 1); } } int result = (int)strtol(str, NULL, 2); free(str); return result; } int main() { char expr[MAX_EXPR_LEN]; while (fgets(expr, MAX_EXPR_LEN, stdin) != NULL) { // 提取所有逻辑变量 char *variables = extract_variables(expr); // 输出表头 printf("%s %s\n", variables, expr); // 输出逻辑变量值的所有组合情况 int n = strlen(variables); int m = pow(2, n); int combination[m][n]; int i, j, k; for (i = 0; i < m; i++) { for (j = 0; j < n; j++) { combination[i][j] = (i / (int)pow(2, j)) % 2; } } for (i = 0; i < m; i++) { int values[n]; for (j = 0; j < n; j++) { values[j] = combination[i][j]; } int result = evaluate(expr, variables); printf("%d", values[0]); for (j = 1; j < n; j++) { printf(" %d", values[j]); } printf(" %d\n", result); } free(variables); } return 0; } ``` 该代码与Python代码的功能相同,可以计算逻辑表达式的真值表。您可以将逻辑表达式作为程序的输入,然后程序会输出真值表。

相关推荐

class TreeNode: def __init__(self, val=None, left=None, right=None): self.val = val self.left = left self.right = right def infix_to_postfix(infix): operators = {'(': 0, ')': 0, 'NOT': 1, 'AND': 2, 'OR': 3} stack = [] postfix = [] for token in infix: if token in operators: if token == '(': stack.append(token) elif token == ')': while stack[-1] != '(': postfix.append(stack.pop()) stack.pop() else: while stack and operators[stack[-1]] >= operators[token]: postfix.append(stack.pop()) stack.append(token) else: postfix.append(token) while stack: postfix.append(stack.pop()) return postfix def postfix_to_tree(postfix): stack = [] for token in postfix: if token in {'NOT', 'AND', 'OR'}: right = stack.pop() if token == 'NOT': stack.append(TreeNode('NOT', None, right)) else: left = stack.pop() stack.append(TreeNode(token, left, right)) else: stack.append(TreeNode(token)) return stack.pop() def evaluate(root, values): if root.val in values: return values[root.val] elif root.val == 'NOT': return not evaluate(root.right, values) elif root.val == 'AND': return evaluate(root.left, values) and evaluate(root.right, values) elif root.val == 'OR': return evaluate(root.left, values) or evaluate(root.right, values) def print_tree(root, level=0): if root: print_tree(root.right, level + 1) print(' ' * 4 * level + '->', root.val) print_tree(root.left, level + 1) infix = input('请输入命题演算公式:').split() postfix = infix_to_postfix(infix) root = postfix_to_tree(postfix) print('后缀表达式:', postfix) print('二叉树构造过程:') print_tree(root) print('真值表:') variables = list(set(filter(lambda x: x not in {'NOT', 'AND', 'OR'}, infix))) for values in itertools.product([True, False], repeat=len(variables)): values = dict(zip(variables, values)) result = evaluate(root, values) print(values, '->', result)其中有错误NameError: name 'itertools' is not defined。请修改

最新推荐

recommend-type

z-blog模板网站导航网站源码 带后台管理.rar

z-blog模板网站导航网站源码 带后台管理.rarz-blog模板网站导航网站源码 带后台管理.rar
recommend-type

基于TI的MSP430单片机的无叶风扇控制器+全部资料+详细文档(高分项目).zip

【资源说明】 基于TI的MSP430单片机的无叶风扇控制器+全部资料+详细文档(高分项目).zip基于TI的MSP430单片机的无叶风扇控制器+全部资料+详细文档(高分项目).zip基于TI的MSP430单片机的无叶风扇控制器+全部资料+详细文档(高分项目).zip 【备注】 1、该项目是个人高分项目源码,已获导师指导认可通过,答辩评审分达到95分 2、该资源内项目代码都经过测试运行成功,功能ok的情况下才上传的,请放心下载使用! 3、本项目适合计算机相关专业(人工智能、通信工程、自动化、电子信息、物联网等)的在校学生、老师或者企业员工下载使用,也可作为毕业设计、课程设计、作业、项目初期立项演示等,当然也适合小白学习进阶。 4、如果基础还行,可以在此代码基础上进行修改,以实现其他功能,也可直接用于毕设、课设、作业等。 欢迎下载,沟通交流,互相学习,共同进步!
recommend-type

zigbee-cluster-library-specification

最新的zigbee-cluster-library-specification说明文档。
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

实现实时数据湖架构:Kafka与Hive集成

![实现实时数据湖架构:Kafka与Hive集成](https://img-blog.csdnimg.cn/img_convert/10eb2e6972b3b6086286fc64c0b3ee41.jpeg) # 1. 实时数据湖架构概述** 实时数据湖是一种现代数据管理架构,它允许企业以低延迟的方式收集、存储和处理大量数据。与传统数据仓库不同,实时数据湖不依赖于预先定义的模式,而是采用灵活的架构,可以处理各种数据类型和格式。这种架构为企业提供了以下优势: - **实时洞察:**实时数据湖允许企业访问最新的数据,从而做出更明智的决策。 - **数据民主化:**实时数据湖使各种利益相关者都可
recommend-type

list根据id查询pid 然后依次获取到所有的子节点数据

可以使用递归的方式来实现根据id查询pid并获取所有子节点数据。具体实现可以参考以下代码: ``` def get_children_nodes(nodes, parent_id): children = [] for node in nodes: if node['pid'] == parent_id: node['children'] = get_children_nodes(nodes, node['id']) children.append(node) return children # 测试数
recommend-type

JSBSim Reference Manual

JSBSim参考手册,其中包含JSBSim简介,JSBSim配置文件xml的编写语法,编程手册以及一些应用实例等。其中有部分内容还没有写完,估计有生之年很难看到完整版了,但是内容还是很有参考价值的。
recommend-type

"互动学习:行动中的多样性与论文攻读经历"

多样性她- 事实上SCI NCES你的时间表ECOLEDO C Tora SC和NCESPOUR l’Ingén学习互动,互动学习以行动为中心的强化学习学会互动,互动学习,以行动为中心的强化学习计算机科学博士论文于2021年9月28日在Villeneuve d'Asq公开支持马修·瑟林评审团主席法布里斯·勒菲弗尔阿维尼翁大学教授论文指导奥利维尔·皮耶昆谷歌研究教授:智囊团论文联合主任菲利普·普雷教授,大学。里尔/CRISTAL/因里亚报告员奥利维耶·西格德索邦大学报告员卢多维奇·德诺耶教授,Facebook /索邦大学审查员越南圣迈IMT Atlantic高级讲师邀请弗洛里安·斯特鲁布博士,Deepmind对于那些及时看到自己错误的人...3谢谢你首先,我要感谢我的两位博士生导师Olivier和Philippe。奥利维尔,"站在巨人的肩膀上"这句话对你来说完全有意义了。从科学上讲,你知道在这篇论文的(许多)错误中,你是我可以依
recommend-type

实现实时监控告警系统:Kafka与Grafana整合

![实现实时监控告警系统:Kafka与Grafana整合](https://imgconvert.csdnimg.cn/aHR0cHM6Ly9tbWJpei5xcGljLmNuL21tYml6X2pwZy9BVldpY3ladXVDbEZpY1pLWmw2bUVaWXFUcEdLT1VDdkxRSmQxZXB5R1lxaWNlUjA2c0hFek5Qc3FyRktudFF1VDMxQVl3QTRXV2lhSWFRMEFRc0I1cW1ZOGcvNjQw?x-oss-process=image/format,png) # 1.1 Kafka集群架构 Kafka集群由多个称为代理的服务器组成,这
recommend-type

未定义标识符CFileFind

CFileFind 是MFC(Microsoft Foundation Class)中的一个类,用于在Windows文件系统中搜索文件和目录。如果你在使用CFileFind时出现了“未定义标识符”的错误,可能是因为你没有包含MFC头文件或者没有链接MFC库。你可以检查一下你的代码中是否包含了以下头文件: ```cpp #include <afx.h> ``` 另外,如果你在使用Visual Studio开发,还需要在项目属性中将“使用MFC”设置为“使用MFC的共享DLL”。这样才能正确链接MFC库。