The Dayenu Boolean Function Is Almost Always True!
History and Overview
2017-04-14 v1
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 .
Cite
@article{arxiv.1704.04143,
title = {The Dayenu Boolean Function Is Almost Always True!},
author = {Doron Zeilberger},
journal= {arXiv preprint arXiv:1704.04143},
year = {2017}
}
Comments
3 pages