En este caso, el hecho de que el valor a la derecha de OR es desconocido es irrelevante, porque el resultado de la operación debería ser Verdadera a pesar del valor de la derecha.