Questão 67164

Em uma aula de Lógica e Matemática Discreta, um professor está ensinando sobre as Leis de De Morgan, que são regras fundamentais da lógica proposicional e da álgebra booleana. Ele quer que seus alunos de computação entendam que essas leis não são apenas curiosidades matemáticas, mas ferramentas práticas usadas na simplificação de expressões lógicas em programação e no design de circuitos digitais. Ele apresenta as duas leis: "A negação de uma conjunção é a disjunção das negações; e a negação de uma disjunção é a conjunção das negações." Formalmente:

1. `¬(P ∧ Q) ⇔ (¬P ∨ ¬Q)` 2. `¬(P ∨ Q) ⇔ (¬P ∧ ¬Q)`

Para a atividade prática, o professor apresenta um trecho de código em Python que verifica se uma pessoa pode ou não entrar em um brinquedo de um parque de diversões. A regra original é: "Você NÃO pode entrar se for muito baixo (altura < 140cm) OU muito leve (peso < 40kg)." Um programador novato escreveu a condição da seguinte forma:

`if not (altura < 140 or peso < 40):` `print("Pode entrar")` `else:` `print("Não pode entrar")`

O professor pede aos alunos que usem as Leis de De Morgan para reescrever a condição `if` de uma forma equivalente, mas sem usar a negação do lado de fora dos parênteses, o que muitas vezes torna a lógica mais clara.

Qual das seguintes condições `if` é logicamente equivalente à original, de acordo com as Leis de De Morgan?