added complement to approximateboolean with property test

Small method added for convenience.