Lógica básica con afirmación y negación alternas