Используя закон Де-Моргана и двойного дополнения получаем -(-Av-B)^C = --(A^B)^C = A^B^C Жаль редактор формул не поддерживает работу с множествами.
