Can a satellite go over the same area in different passes overtime

To compare the two plots you can rescale the first plot (f1) to the range of the second one:

f1 = (E^(-x^2 - y^2) (-1 - 4 x y)) / Sqrt[Pi];
f2 = (E^(-x^2 - y^2) (2 x - 2 y)) / Sqrt[Pi];

zr = Through[{NMinValue, NMaxValue}[{f2, -4 <= x <= 4}, {x, y}]]

{-0.684397, 0.684397}

col = 
   {RGBColor[0.02, 1, 1], RGBColor[0, 0.48, 1], RGBColor[0, 0, 0.73], Black, 
    RGBColor[0.6, 0.22, 0], RGBColor[1, 0.55, 0], White};

Grid[{{
   DensityPlot[f1, {x, -4, 4}, {y, -4, 4},
    PlotRange -> zr,
    ColorFunction -> (Blend[col, Rescale[#, zr]] &),
    ColorFunctionScaling -> False,
    ImageSize -> 300],

   DensityPlot[f2, {x, -4, 4}, {y, -4, 4},
    PlotRange -> zr,
    ColorFunction -> (Blend[col, #] &),
    ImageSize -> 300,
    PlotLegends -> Automatic]
   }}]

enter image description here


This is a tautology, and since there is only one free variable, it is easy to check.

However, you can simplify the expression symbolically before. $\lnot a \implies a$ is logically equivalent to $\lnot(\lnot a)\lor a$, which is $a$. Hence your formula is just $a \implies a$, which is more obviously a tautology.