Note e adote a lista de símbolos: ∧ Conector “e”; ∨ Conector “ou”; ∨ Conector “ou” exclusivo; → Conector “Se...então...” ; ↔ Conector “Se e somente se”; ~ Negação de uma proposição.
Maior avião de todos os tempos, o Antonov An-225 Mriya é o detentor do recorde de carga mais pesada transportada por via aérea. Em 2001, o gigante ucraniano decolou com carregamento de 254 toneladas. Disponível em: https://www.cnnbrasil.com.br/business. Acesso em: 20 de jan. 2022 (adaptado).
Considerando as informações acima, o valor da carga transportada pela aeronave, expressa em quilograma, é igual a:
