Esta es la lógica que las computadoras usan para determinar si una declaración es falsa o verdadera.