является ли полной система булевых функций f={x1∨x2;¬ x}

Да, является, так как {x1 \/ x2; x1 /\ x2; -x} полная, а по де Моргану конъюнкция выражается через дизъюнкцию и отрицание и остается нужная нам система.