propositional_logic 0.1.0

generate truth tables for compound propositions
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

# Propositional Logic

A rust library for generating the truth table of any single compound proposition.

only has one dependency: [cli_table](https://crates.io/crates/cli_table)

## Usage

```rust
use propositional_logic::prelude::*;

let compound_proposition = |p, q, r| -> bool { iff(q, (p && !q) || (!p && q)) && r };

print_truth_table!(|p, q, r| => compound_proposition);

println!();

// or inline
print_truth_table!(inline_compound_proposition => |p, q, r| {
   iff(q, (p && !q) || (!p && q)) && r
})
```

Outputs:

```text
+-------+-------+-------+----------------------+
| p     | q     | r     | compound_proposition |
+-------+-------+-------+----------------------+
| true  | true  | true  |                false |
+-------+-------+-------+----------------------+
| true  | true  | false |                false |
+-------+-------+-------+----------------------+
| true  | false | true  |                false |
+-------+-------+-------+----------------------+
| true  | false | false |                false |
+-------+-------+-------+----------------------+
| false | true  | true  |                 true |
+-------+-------+-------+----------------------+
| false | true  | false |                false |
+-------+-------+-------+----------------------+
| false | false | true  |                 true |
+-------+-------+-------+----------------------+
| false | false | false |                false |
+-------+-------+-------+----------------------+

+-------+-------+-------+-----------------------------+
| p     | q     | r     | inline_compound_proposition |
+-------+-------+-------+-----------------------------+
| true  | true  | true  |                       false |
+-------+-------+-------+-----------------------------+
| true  | true  | false |                       false |
+-------+-------+-------+-----------------------------+
| true  | false | true  |                       false |
+-------+-------+-------+-----------------------------+
| true  | false | false |                       false |
+-------+-------+-------+-----------------------------+
| false | true  | true  |                        true |
+-------+-------+-------+-----------------------------+
| false | true  | false |                       false |
+-------+-------+-------+-----------------------------+
| false | false | true  |                        true |
+-------+-------+-------+-----------------------------+
| false | false | false |                       false |
+-------+-------+-------+-----------------------------+
```