Traduzca cada una de estas declaraciones en expresiones lógicas usando predicados, cuantificadores y conectivos lógicos.
a) Todas las herramientas están en el lugar correcto y están en excelente condición.
b) Exactamente una de las herramientas no está en el lugar correcto, pero está en excelente
condición.