А не проще найти P(AB) и затем его дополнения?