logoalt Hacker News

formerly_provenyesterday at 11:13 AM0 repliesview on HN

That’s boolean functional completeness, which is kind of a trivial result (NAND, NOR). It mirrors this one insofar as the EDL operator is also a combination of a computation and a negation in the widest senses.