commit 599aaf0b0f224a29986521a018be91aea088245a
parent 2867bfaba4e6494046909b5e757984dbac40415c
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Sun, 29 Dec 2024 16:23:45 +0100
commit with codex
Diffstat:
6 files changed, 25 insertions(+), 3 deletions(-)
diff --git a/boolean_formula b/boolean_formula
@@ -1,10 +1,13 @@
# Boolean formula
-representation of [boolean_function]
+An [expression] which represents a [boolean_function], built from [literals] using the [Boolean_operators]
- [read_once]
- [conjunctive_normal_form]
- [disjunctive_normal_form]
+- [clause]
+- [term]
+- [literal]
Up: [boolean_function]
diff --git a/clause b/clause
@@ -0,0 +1,7 @@
+# Clause
+
+A [boolean_formula] which is a [disjunction] of [literals]
+
+Up: [boolean_formula]
+
+Aliases: clauses
diff --git a/conjunctive_normal_form b/conjunctive_normal_form
@@ -1,6 +1,6 @@
# Conjunctive normal form (CNF)
-[conjunction] of [clause], each is a [disjunction] of [literal]
+A [boolean_formula] which is a [conjunction] of [clauses]
- [monotone_cnf]
- [2cnf]
diff --git a/disjunctive_normal_form b/disjunctive_normal_form
@@ -1,6 +1,6 @@
# Disjunctive normal form (DNF)
-[disjunction] of [term] (not [clause]), each is [conjunctio] of [literal]
+A [Boolean_formula] which is a [disjunction] of [terms]
- [pp2dnf]
- [disjunctive_normal_form_orthogonal]
diff --git a/literal b/literal
@@ -0,0 +1,5 @@
+# Literal
+
+Either a [variable] or the [negation] of a [variable]
+
+Up: [boolean_formula]
diff --git a/term b/term
@@ -0,0 +1,7 @@
+# Term
+
+A [Boolean_formula] which is a [conjunction] of [literals]
+
+Up: [boolean_formula]
+
+Aliases: terms
