Получить минимальную форму записи логической функции

первая скобка:
¬(x1*x2)+¬x2 = ¬x1+¬x2+¬x2= ¬x1+¬x2
вторая скобка:
¬(x1*¬x2) +¬x1=¬x1+x2+¬x1=¬x1+x2
---------------------------------------------------
F=(¬x1+¬x2)*(¬x1+x2)
F=¬x1+¬x1*x2 +¬x2*¬x1+0
F=¬x1(1+x2+¬x2)
F=¬x1*1
F=¬x1