Reference

booldnf(1) on Linux

The text 05ad50ad3d10, as Debian 9 (Stretch) shipped it.

converts a boolean expression to the DNF

booldnf(1) on Linux now