Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/ashu11-a/truth-table
Formatters for truth tables
https://github.com/ashu11-a/truth-table
abstract-syntax-tree abstract-syntax-trees ast ast-generation ast-interpreter ast-parser ast-transformations ast-tree table table-formatter truth truth-table truth-table-generator truth-tables
Last synced: about 2 months ago
JSON representation
Formatters for truth tables
- Host: GitHub
- URL: https://github.com/ashu11-a/truth-table
- Owner: Ashu11-A
- License: mit
- Created: 2024-09-06T14:00:52.000Z (4 months ago)
- Default Branch: main
- Last Pushed: 2024-10-04T17:16:02.000Z (3 months ago)
- Last Synced: 2024-11-05T02:06:07.698Z (about 2 months ago)
- Topics: abstract-syntax-tree, abstract-syntax-trees, ast, ast-generation, ast-interpreter, ast-parser, ast-transformations, ast-tree, table, table-formatter, truth, truth-table, truth-table-generator, truth-tables
- Language: TypeScript
- Homepage: https://www.npmjs.com/package/truth-table-ast
- Size: 194 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Truth Table
## 🔍 | What can this do?
This project is based on AST (Abstract Syntax Tree). It can both generate the AST and validate the syntax of the input, transforming it into a consumable data structure to generate any type of representation, such as CSV tables. In case of an error, it is possible to handle the error, allowing the display of the line and column where a syntax error is present. Below is an example of how to work with this library:
## 💫 Main Features:
- Syntax validation and error location reporting
- Abstract Syntax Tree (AST) generation
- Support for generating truth tables from parsed logic expressions
- Flexible output formats (e.g., CSV)
## 🚀 | Getting Started
To get a local copy up and running, follow these simple steps:
Prerequisites
Node.js (v20+ recommended)
### Installation
```sh
npm i truth-table-ast
#OR
npm i -g truth-table-ast
```
## 📚 | Usage
After installing this package globally, you can use the following commands:
### 📟 | Terminal:
```sh
tt -p "p ˅ (p ^ q)"
# Or use this if your operating system doesn't detect the package
npx truth-table -p "p ˅ (p ^ q)" -o table.csv
```
#### 📄 | Help:
```txt
Usage: tt [options]
Options:
-h --help Show all available arguments
-o --output File where the truth table will be saved
-d --display How the data will be displayed in the table, supports: boolean, number
-t --type Type of file the table will be saved in (csv | text)
-p --proposition Define proposition to generate truth table
```
### 👨💻 | Code:
Here's an example of how to work with this library:
```ts
// ESM:
import { AST, Structure, Table } from 'truth-table-ast'
// Communjs:
// const { AST, Structure, Table } = require('truth-table-ast')
// In communjs, you'll need to put the code in an anonymous function for the asynchronous functions to work
// void (async () => {
// code here
// })()
const input = 'p ^ (p v ~q)'
const parser = new AST(input)
const ast = parser.parse()
if (isError(ast)) throw new Error(JSON.stringify(ast, null, 2))
await parser.save('ast.json')
const structure = new Structure(ast).generate()
await structure.save('structure.json')
const table = new Table({
structure,
display: 'boolean',
// type: 'csv'
})//.create('table.csv')
// const content = table.csv()
// const content = table.markdown()
table.type = 'markdown'
await table.create('table.md')
table.type = 'csv'
await table.create('table.csv')
```
## ✨ | Outputs
#### 📜 | AST:
The AST (Abstract Syntax Tree) generated from the input of p ^ (p v ~q):
```json
[
{
"value": "p",
"type": "Proposition",
"negatived": false,
"loc": {
"start": {
"line": 1,
"column": 0
},
"end": {
"line": 1,
"column": 0
}
}
},
{
"type": "Operation",
"value": "^",
"key": "Conjunction",
"loc": {...}
},
{
"type": "SubExpression",
"body": [
{
"value": "p",
"type": "Proposition",
"negatived": false,
"loc": {...}
},
{
"type": "Operation",
"value": "v",
"key": "Disjunction",
"loc": {...}
},
{
"value": "q",
"type": "Proposition",
"negatived": true,
"loc": {...}
}
],
"negatived": false,
"loc": {...}
}
]
```
#### 📃 | Structure:
The structured data generated from the AST to generate the truth table:
```json
[
{
"type": "Variable",
"element": "p",
"value": true,
"column": 0,
"row": 0,
"position": "0x0"
},
{
"type": "Variable",
"element": "q",
"value": true,
"column": 1,
"row": 0,
"position": "0x1"
},
{
"type": "VariableNegative",
"element": "~q",
"value": false,
"column": 2,
"row": 0,
"position": "0x2"
},
{
"type": "Result",
"element": "(p v ~q)",
"value": true,
"column": 3,
"row": 0,
"position": "0x3"
},
{
"type": "Result",
"element": "p ^ (p v ~q)",
"value": true,
"column": 4,
"row": 0,
"position": "0x4"
},
{...}
]
```
#### 📋 | Truth Table:
| p | q | ~q | (p v ~q) |p ^ (p v ~q)|
|------------|------------|------------|------------|------------|
| true | true | false | true | true |
| true | false | true | true | true |
| false | true | false | false | false |
| false | false | true | true | false |
## 🤝 | Contributing
Contributions are what make the open-source community such an amazing place to learn, inspire, and create. Any contributions you make are greatly appreciated.
## 📝 | License
Distributed under the MIT License. See LICENSE.txt for more information.