wiki_research

commit 49d7c742cb2b38ac283ad9c08081d7436e67d037
parent 9f7442222f99b96127dfb1dc06ed807ef2bcea49
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]