Reference

booldnf(1) on Linux

The text 3323f5b7d5cb, as Debian 7 (Wheezy), Debian 6.0 (Squeeze) shipped it.

converts a boolean expression to the DNF

booldnf(1) on Linux now