Существует ли, и если да, то как называется логический элемент с такой таблицей истинности?

Такой логический элемент существует и называется инвертором.

Выход В - инверсный, С - неинверсный (или это повторная инверсия).

В каком ПТУ экзамен держите?

Или в техникуме?

)