The Dayenu Boolean Function Is Almost Always True!
Abstract
The Boolean function implicit in the famous Dayenu song, sung at the Passover meal, is expressed in full conjunctive normal form, and it is proved that if there are n miracles the number of truth-vectors satisfying it is 2n -(n+1).
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.