Формула выражает закон де Моргана: отрицание конъюнкции равно дизъюнкции отрицаний.
Ответ: Закон де Моргана.