ПОМОГИТЕ не понимаю тему. тема: ЗАКОН АЛГЕБРЫ ЛОГИКИ ЗАВТРА сдавать на оценку

1)  F=(x→¬x)→x                (Формула А→В=¬А+В         )
     F=¬(¬x+¬x)+x               (                А+А=А;   ¬¬А=А;  )
    F=¬¬х+х
    F=x+x
    F=x   
         ответ :  F=x

2)  F=x+y→x
    F=¬(x+y)+x                      (   формула     ¬(A+B)=¬A*¬B  )
     F=¬x*¬y+x                      (  формула       A+¬A*B=A+B   )
     F=x+¬y 
          ответ  F=x+¬y

3)  F=x*y→x
    F=¬(x*y) + x                  (формула   ¬(x*y)=¬x+¬y       )
   F=¬x+¬y+x                    (                   A+¬A=1;     1+A=1)
    F=1                 
          ответ:   F= 1