TeX source:

(\vee_i A_i)^c = \wedge A_i^{c}