Para lograr esto se utilizan las equivalencias lógicas: