Является ли полной система функций: {¬x↔¬y,x⋁y}? Образует ли она базис? Строим таблицу истинности заданных функций: Находим принадлежность функций системы к основным замкнутым классам.

Строим таблицу истинности заданных функций:

Находим принадлежность функций системы к основным замкнутым классам.

Функция f₁ (x,y)=x⋁y:

сохраняет константу 0, так как f₁(0,0)=1, т.е. f₁T;