Зависимость связок

Определение: система логических операций называется полной, если всякая логическая функция может быть представлена в виде конечной последовательности операций из этой системы.

– полная система, т.к. всякая логическая функция имеет дизъюнктивную норм фору, либо конъюнктивную

- неполная, т.к. нельзя записать

Если система полна, то система тоже полна, если неполна, то и любая ее подсистема также неполна.

Пример полных систем:

Пример неполных систем:

}

{ }