Reference

booldnf(1) on Linux

The text 5227f3aa49bc, as Debian 8 (Jessie) shipped it.

converts a boolean expression to the DNF

booldnf(1) on Linux now