왜 드모르간의 정리는 있는데현우진의 정리는 없나요?
현우진이 누군데