Đơn giản hóa tthc