Boolean shattering