https://github.com/daidr/truth-table

根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)
https://github.com/daidr/truth-table

logic math truth-table truth-table-generator

Last synced: 6 months ago
JSON representation

根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)

• Host: GitHub
• URL: https://github.com/daidr/truth-table
• Owner: daidr
• License: mit
• Created: 2022-03-05T09:12:29.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2022-07-05T16:01:02.000Z (almost 4 years ago)
• Last Synced: 2025-02-24T16:12:52.657Z (over 1 year ago)
• Topics: logic, math, truth-table, truth-table-generator
• Language: Vue
• Homepage: https://tb.daidr.me
• Size: 284 KB
• Stars: 63
• Watchers: 2
• Forks: 5
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          




# 真值表

> 一个心血来潮的小项目

示例地址：[https://tb.daidr.me](https://tb.daidr.me)

## 功能

通过给定的逻辑表达式来生成真值表，并且能够给出中间过程。lexer与parser的部分使用antlr编写。

## 一些说明

变元应由字母和数字组成，支持单个字符（如`p` `q`）或多个字符（如`ab` `ac` `a1` `a2`）

大小写不一致的变元被视为不同的变元，如 `A` `a` 为两个不同的变元。

必须由字母开头，如 `a5` `b6` 合法，而 `5a` `5` 不合法

目前支持下面这些逻辑：

* 合取 (∧) (conjunction)

* 非 (¬) (negation)

* 析取 (∨) (disjunction)

* 蕴涵 (→) (implication)

* 等值于 (⇔) (equivalence)

由于这些符号普遍较难输入，所以提供了一些常见符号用于代换，使用的时候软件会自动帮你将下面这些符号替换为对应的逻辑符号：

* 合取 `&` `^`

* 非 `！` `!`

* 析取 `|`

* 蕴涵 `>` `》`

* 等值于 `=`

运算优先级(由高到低递减)： `¬` `∧` `∨` `→` `⇔`，其中连续的蕴涵运算由右向左合并（例如 `a→b→c` 等价于 `a→(b→c)`）

可以使用括号修改运算的优先级。

> 由于这个小项目是一天时间糊出来的，代码写的非常乱，之后有时间再整理吧🥱

## 开发

### 安装依赖

```

pnpm

```

or 

```

yarn

```

### 启动项目

```

pnpm dev

```

or

```

yarn dev

```

vite调试服务会在 [http://localhost:4000](http://localhost:4000) 启动

### 构建

```

pnpm build

```

or

```

yarn build

```

构建的结果会输出到 `dist` 目录下

## 为我投票