From 613bf38d91e817d4efde5877fe650182a17ea9d1 Mon Sep 17 00:00:00 2001
From: Rose Apollo <rose@roseapollo.com>
Date: Sat, 30 Nov 2024 22:13:38 +0000
Subject: [PATCH] imp

---
 src/logic.c      | 4 ++--
 src/logic_karn.c | 2 ++
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/logic.c b/src/logic.c
index 2293d13..7126083 100644
--- a/src/logic.c
+++ b/src/logic.c
@@ -7,9 +7,9 @@
 int main(int argc, char** argv)
 {
     int x, y;
-    char d[] = "(D^B)v(B^-C)v(B^(-C^-D))v(A^C^D)v(-C^D^-A^-B)";
+    char d[] = "(-(AvB)v-(A^B))^((-A^B)v((AvB)^(-Bv-A)))";
 
-    bool* c = logic_karn_run(d, 4, &x, &y);
+    bool* c = logic_karn_run(d, 2, &x, &y);
     logic_karn_render(c, x, y);
 
     return 0;
diff --git a/src/logic_karn.c b/src/logic_karn.c
index 2f8cf3a..1da876f 100644
--- a/src/logic_karn.c
+++ b/src/logic_karn.c
@@ -54,6 +54,8 @@ void logic_karn_render(bool* karn, int x, int y)
 
         printf("|\n");
     }
+
+    printf("\n"); // just nicely end it
 }
 
 bool* logic_karn_run(char* equ, int args, int *x, int *y)