Zero-suppressed binary decision diagram with family algebra operations