Added by Phani Thota on May 23, 2001 at 06:40:37:
AUBUC = n(A)+n(B) +n(C)+n(AUB)+n(AUC)+n(BUC)-n(A^B^C)