Code Issues Pull requests Releases 2 Activity
Truth Table from Boolean Algebra Expressions
boolean-algebra truthtable zig
Zig 100%
Find a file
Muhammad Aviv Burhanudin 74f1cc1fb1 update readme		2026年05月08日 19:52:35 +07:00
src	Zig ReWrite for faster and more binary on release	2026年05月08日 19:43:41 +07:00
.gitignore	Initial commit	2024年07月30日 15:45:22 +00:00
build.zig	Zig ReWrite for faster and more binary on release	2026年05月08日 19:43:41 +07:00
LICENSE	Zig ReWrite for faster and more binary on release	2026年05月08日 19:43:41 +07:00
README.md	update readme	2026年05月08日 19:52:35 +07:00
README.md

truth_table

WARNING: Some terminals display some symbols poorly.
Truth Table from Boolean Algebra Expression
quick start

$ zig build --release=fast
$ time ./zig-out/bin/truth_table -e "((a && b) || (-c && d)) && (e || (-f && g))"
┌───────────────────────────────────────────────────────────────────┐
| Truth Table │
├───┬───┬───┬───┬───┬───┬───┬───────────────────────────────────────┤
│ a │ g │ d │ b │ c │ e │ f │ ((a ∧ b) ∨ (¬c ∧ d)) ∧ (e ∨ (¬f ∧ g)) │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 0 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 0 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 0 │ 0 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 0 │ 0 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 0 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 0 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 0 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 0 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 1 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 1 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 1 │ 0 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 1 │ 0 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 1 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 1 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 1 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 0 │ 1 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 0 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 0 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 0 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 0 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 0 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 0 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 0 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 0 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 1 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 1 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 1 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 1 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 1 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 1 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 1 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 0 │ 1 │ 1 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 0 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 0 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 0 │ 0 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 0 │ 0 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 0 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 0 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 0 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 0 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 1 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 1 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 1 │ 0 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 1 │ 0 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 1 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 1 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 1 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 0 │ 1 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 0 │ 0 │ 0 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 0 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 0 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 0 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 0 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 0 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 0 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 0 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 1 │ 0 │ 0 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 1 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 1 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 1 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 1 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 1 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 1 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 0 │ 1 │ 1 │ 1 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 0 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 0 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 0 │ 0 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 0 │ 0 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 0 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 0 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 0 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 0 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 1 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 1 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 1 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 1 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 1 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 1 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 1 │ 1 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 0 │ 1 │ 1 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 0 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 0 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 0 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 0 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 0 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 0 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 0 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 0 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 1 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 1 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 1 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 1 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 1 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 1 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 1 │ 1 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 0 │ 1 │ 1 │ 1 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 0 │ 0 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 0 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 0 │ 0 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 0 │ 0 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 0 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 0 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 0 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 0 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 1 │ 0 │ 0 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 1 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 1 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 1 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 1 │ 1 │ 0 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 1 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 1 │ 1 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 0 │ 1 │ 1 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 0 │ 0 │ 0 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 0 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 0 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 0 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 0 │ 1 │ 0 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 0 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 0 │ 1 │ 1 │ 0 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 0 │ 1 │ 1 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 1 │ 0 │ 0 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 1 │ 0 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 1 │ 0 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 1 │ 0 │ 1 │ 1 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 1 │ 1 │ 0 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 1 │ 1 │ 0 │ 1 │ 0 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 1 │ 1 │ 1 │ 0 │ 1 │
├───┼───┼───┼───┼───┼───┼───┼───────────────────────────────────────┤
│ 1 │ 1 │ 1 │ 1 │ 1 │ 1 │ 1 │ 1 │
└───┴───┴───┴───┴───┴───┴───┴───────────────────────────────────────┘
real 0m0.007s
user 0m0.002s
sys 0m0.000s