truthful 0.1.1

A logical expression parser, optimizer and evaluator.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

# Truthful

[![crates.io](https://img.shields.io/crates/v/truthful?label=latest)](https://crates.io/crates/truthful)
[![Documentation](https://docs.rs/truthful/badge.svg)](https://docs.rs/truthful/)
[![License](https://img.shields.io/crates/l/truthful.svg)]()

A logical expression parser, optimizer and evaluator.

```shell
$ cargo run
welcome! enter ? for help
> a or (a and b)
evaluating "a"
 a  eval
 0   0
 1   1
> !a v b
evaluating (!"a" v "b")
 a  b  eval
 0  0   1
 0  1   1
 1  0   0
 1  1   1
> q
bye!
```

# TODO

* Grammar operator precedence.
* Actual optimization (the current one is a bunch of NAND + DeMorgan naive transformations).