构造命题的逻辑真值表c语言,命题公式真值表生成算法研究与程序设计

内容介绍

原文档由会员 xiaowei 发布

命题公式真值表生成算法研究与程序设计

1.1万字 20页

论文+开题+任务书+翻译+程序代码

摘要

推理的自动化(包括自动定理证明)特别诱人，因为所有数学以及许多技术领域均可用一定的形式系统来表述。今天用现代计算机进行快速而准确的推理已经成为可能。自动推理可以避免令人乏味和容易出错的详细证明构造过程。命题公式真值生成算法研究就是研究推理的自动化的基础。掌握好了它，就等于是在推理自动化的旅程上建立了一个好的开始。

本文以命题公式真值表生成为目标。从基本真值矩阵开始入手，研究其生成的算法和程序设计。而后，借助基本真值矩阵，得到真值表生成算法。论文中主要介绍了本课题的开发背景，程序所要完成的功能和程序设计中的主要算法。程序用C语言实现，能将用户输入的命题公式的真值表，以特定的表示形式输出。

【关键字】:自动定理证明，命题公式真值生成，基本真值矩阵

Proposition formula truth table production algorithm research and programming

ABSTRACT

The inference automation (including automatic theorem proving) is specially attractive, because all mathematics as well as many areas of technology may use the certain formal system to indicate. Today carried on fast but the accurate inference with the modern computer already to become possibl