Reference

booldnf(1) on Linux

The text 795be63cfd79, as Debian 5.0 (Lenny) shipped it.

converts a boolean expression to the DNF

booldnf(1) on Linux now