added logic tables

2024-07-01 10:56:29 +02:00
parent c33c055b29
commit b93db17806
3 changed files with 192 additions and 0 deletions
--- a/gallery/example5.pdf
+++ b/gallery/example5.pdf
--- a/gallery/example5.typ
+++ b/gallery/example5.typ
@ -0,0 +1,27 @@
+#import "/src/logic.typ": *
+#let F = $((not p -> q) or r) -> ((p and not r) or not q)$
+#let F = _implies(
+  _or(
+    _implies(
+      _not("p"),
+      "q"
+    ),
+    "r"
+  ),
+  _or(
+    _and(
+      "p",
+      _not("r")
+    ),
+    _not("q")
+  )
+)
+#display(F)
+#get-atoms(F)
+
+#get-components(F)
+
+#{
+  set text(size: 0.8em)
+  truth-table(F)
+}