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

F1 =F = ¬(¬x+¬y) + x*¬yF = ¬¬x * ¬¬y+x*¬yF=x*y+x*¬yF=x*(y+¬y)F2=F = x---------------------------x  y  ¬x+¬y     ¬(¬x+¬y)    x*¬y      F1       F20  0      1              0             0           0        00  1      1              0             0           0        01  0      1              0             1           1        11  1      0              1             0           1        1