Путем тождественных преобразований получить минимальную форму записи логической функции
F=x2 → x1 можно по таблице истинности проверить