By Manuel Kauers, Martina Seidl, and Doron Zeilberger
First Written: Feb. 9, 2019. This version: March 18, 2019.
[Appeared in Discrete Mathematics Letters, v.2 (2019), 47-51.]
Drink or Drive or (Not Drink and Not Drive)
Is a DNF tautology with distinct supports, since the supports are {Drink}, {Drive}, {Drink,Drive}.
In this seminal paper,
an old Dr. Z and a young Dr. Z treated the question of such DNF tautologies with distinct supports, where
the size of the smallest support is as large as possible.
In the present article, we answer some of the questions that they left open, and treat other interesting
extensions and variations.
Here is the Python
program
used to generated the results in our paper.
.pdf
LaTex source
Hamlet famously asked "To Be or Not To Be". This is a very simple example of a DNF tautology, albeit not with "distinct supports",
since the supports of both "To Be" and "Not To Be" is {To Be}.
On the other hand
Python Code
Doron Zeilberger's List of papers