С помощью равносильных преобразований упростить формулу и доказать равносильность через таблицу истинности

F1 =F = ¬(¬x+¬y) + x*¬y
F = ¬¬x * ¬¬y+x*¬y
F=x*y+x*¬y
F=x*(y+¬y)
F2=F = x
---------------------------
x  y  ¬x+¬y     ¬(¬x+¬y)    x*¬y      F1       F2
0  0      1              0             0           0        0
0  1      1              0             0           0        0
1  0      1              0             1           1        1
1  1      0              1             0           1        1