wiki_research

commit faee1ed3fc0546fd171f4a195f528caacd3a9ea6
parent 3d214362d86ad81501b131ca967f203396010cd6
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 10 Jun 2026 11:34:55 +0200

commit with codex

Diffstat:
implicant
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/implicant b/implicant
@@ -5,5 +5,6 @@ https://en.wikipedia.org/wiki/Implicant
 For a [Boolean_function], an implicant is a [term] which [implies] the function, i.e., suffices to make it true
 
 - [prime_implicant]
+- [shortest_implicant]
 
 Up: [boolean_function]