bool

simple boolean algebra solver
Log | Files | Refs

commit f314c587440d2c5bc099157b2499cd99464d29ca
parent c92253edf27f6415a7ff739c8f2afea6225094bc
Author: thing1 <thing1@seacrossedlovers.xyz>
Date:   Wed, 15 Oct 2025 18:10:50 +0100

added truth tables

Diffstat:
Mexpr.c | 15+++++++++++++++
1 file changed, 15 insertions(+), 0 deletions(-)

diff --git a/expr.c b/expr.c @@ -60,7 +60,21 @@ incvars() { void mktable() { + bool start[26] = {false}; + memcpy(start, vals, 26); + for (int i = 0; i < 26; i++) + if (vars[i]) + printf("%c | ", vars[i]); + printf("RES\n"); + + do { + for (int i = 0; i < 26; i++) + if (vars[i]) + printf("%b | ", vals[i]); + printf("%b\n", eval(program)); + incvars(); + } while (memcmp(start, vals, 26) != 0); } int @@ -95,6 +109,7 @@ main(int argc, char **argv) { } } else if (SAME(line, "t\n")) { + mktable(); } else fprintf(stderr, "?\n");