Update discrete mathematics/dm_bool.py