Neither of these claims are true, and the reason is essentially that "The topology on $X\times Y$ is not the product topology". This is more or less the claim you're making in part $2)$, and then this failure causes $1)$ to fail. The fact that the topology isn't just the product topology is maybe not entirely surprising at the level of schemes (since the product itself isn't even the product as sets), but I think it is relatively surprising if you're thinking about this on the level of classical varieties, where you can just define the set of the product as the usual product, but then have to work harder to define the topology. This difference is because one of the main advantages of using schemes rather than classical varieties is that the points of a scheme contain a lot of information about the topology then the points of the classical variety (which are just the closed points of the scheme).
An example where $2)$ fails is where $X = Y = \mathbb{A}^1_k$, with $k = \bar{k}$ for simplicity. Then any non-empty open set in $\mathbb{A}^1_k$ is just the complement of a finite set of (closed) points. Explicitly, any open set is of the form $D(f)$ for some $f$ and corresponds to the complement of the roots of $f$. Then the product $D(f) \times_k D(g) = \pi_X^{-1}(D(f)) \cap \pi_Y^{-1}(D(g))$ corresponds to the complement of a finite union of lines in $\mathbb{A}^2_k$, corresponding to vertical lines corresponding to the roots of $f$ and horizontal lines corresponding to the roots of $g$. Note that a union of sets of this form is still of this form, so the topology generated by these sets is simply their union. In particular, there are many open sets not of is form, e.g. the diagonal $D(X-Y)$, so the actual topology is much richer than the product topology.
Moreover, $1)$ is also not true. You could probably just compute the product of the preimage sheaves in the example above, but there is an easier way that fits in with the philosophy used above that the product of schemes is more than just the naïve product. As well as the topology not being the product topology, the set is not even the product of the sets! In particular, there may be distinct points in the product that project to the same points in $X$ and $Y$. To see that this is a problem, note that:
$$(\pi^{-1}_X \mathcal{O}_X \otimes \pi^{-1}_Y\mathcal{O}_Y)_z \cong (\pi^{-1}_X \mathcal{O}_X)_z \otimes_k (\pi^{-1}_Y\mathcal{O}_Y)_z \cong \mathcal{O}_{X, \pi_X(z)} \otimes_k \mathcal{O}_{Y,\pi_Y(z)} $$
And so in particular, points with the same projections to $X$ and $Y$ should have the same stalks. However, with our example above, notice that the primes $(X-Y)$ and $(0)$ both map to the generic point under either projection to $\mathbb{A}^1$, and so the stalks of the product sheaf at both points are the same. However, the stalks of the structure sheaf are different (and we can even see this without calculation, the local rings have different dimensions since the closures of the two points have different codimension in $\mathbb{A}^2_k$).
As Paf points out in the comments to your question, you can look at this post on mathoverflow for a little more discussion on what the points of the fibre product are, and what stalks of the structure sheaf of the product are at said points. In particular there are a wealth of points that where the product sheaf will have the same stalks, but the structure sheaf won't. Notice that the same argument will extend to show that we can't even replace the tensor product of the preimage sheaves with the tensor product of the pullback sheaves, or any other reasonable extension.
This is just a straightforward computation. Let's first identify what the localization of $A$ at the set of functions which do not vanish away from the common origin is.
I claim that the collection of functions $S\subset A$ which do not vanish away from the common origin is just the units of $A$. To do the interesting inclusion, note that the vanishing locus of a function on an affine scheme is either empty (units), everything (nilpotents), or purely codimension one (nonunit nonnilpotents) by Krull's Hauptidealsatz. So $f$ vanishes nowhere, so it's a unit, and thus $S^{-1}A=A$ because all of $S$ is already invertible.
On the other hand, our function which is $0$ and $1$ is not an element of $A$: such a function would have to simultaneously have the value $0$ and $1$ at the origin, which is obviously wrong.
The reason this counterexample fails with $\Bbb A^1$ instead of $\Bbb A^2$ is that the point of intersection is pure codimension one inside two copies of $\Bbb A^1$ meeting at point, so the argument with Krull's Hauptidealsatz doesn't work and we really can just find functions which vanish just at the point of intersection (if we write the two copies of $\Bbb A^1$ glued together as $\operatorname{Spec} k[x,y]/(xy)$, we can take $x+y$, for instance).
Best Answer
It is not important to know what the sections are on a generic open set, as you can always work with basic open sets, but you can find a description of the sections of $\text{Spec} A$ in Hartshorne's Algebraic geometry, page 70