let
dnfToCond d = tors (
List
.map tands d)