Задача за проверка пълно ли е множеството

[Гост]

F1={ x1 --> x2 ,1 , x1+x2+x3, [tex]\overline{x1}[/tex] --> x1 • [tex]\overline{x2}[/tex] }