Para implementar e manipular expressões lógicas em Python, várias ferramentas e bibliotecas estão disponíveis. Elas facilitam a definição, avaliação e manipulação de expressões lógicas proposicionais e de predicados. Em Python, podemos definir e avaliar expressões lógicas usando operadores lógicos básicos disponíveis na linguagem, como AND (e), OR (ou), NOT (não), IMPLIES (implica) e EQUIVALENT (equivalente). Além disso, bibliotecas como SymPy oferecem uma ampla gama de ferramentas para manipulação simbólica, incluindo variáveis simbólicas, operadores lógicos e ferramentas para simplificação de expressões. Fonte: adaptado de: MEURER, A. et al. SymPy: symbolic computing in Python. PeerJ Computer Science, [s. l.], v. 3, n. 103, 2017.Sobre o uso de ferramentas e bibliotecas em Python aplicadas à manipulação de expressões lógicas, considerando o suporte da linguagem e suas bibliotecas especializadas, analise as afirmativas a seguir:I. A biblioteca SymPy fornece recursos para manipulação simbólica de expressões lógicas em Python. II. Os operadores lógicos básicos em Python são escritos com as palavras reservadas AND, OR e NOT. III. A biblioteca SymPy permite a simplificação de expressões lógicas e a realização de cálculos simbólicos. IV. O operador de equivalência lógica (equivalent) é nativamente suportado pela linguagem Python como um operador lógico direto.É correto o que se afirma em: