bool

simple boolean algebra solver
Log | Files | Refs

commit c92253edf27f6415a7ff739c8f2afea6225094bc
parent f901bf766d5599930a55e9fbe766e8168ba4a2f4
Author: thing1 <thing1@seacrossedlovers.xyz>
Date:   Wed, 15 Oct 2025 17:59:34 +0100

started truth tables

Diffstat:
Mexpr.c | 19++++++++++++++++++-
1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/expr.c b/expr.c @@ -47,6 +47,22 @@ err: return false; } +void +incvars() { + int carry = 1; + for (int i = 0; i < 26 && carry; i++) { + if (vars[i]) { + if (!vals[i]) carry = 0; + vals[i] = !vals[i]; + } + } +} + +void +mktable() { + +} + int main(int argc, char **argv) { yyin = stdin; @@ -78,7 +94,8 @@ main(int argc, char **argv) { printf("%c = %s\n", vars[i], (vals[i]) ? "true" : "false"); } } - + else if (SAME(line, "t\n")) { + } else fprintf(stderr, "?\n"); }