También sabemos que B o es verdadero o falso.