Дискротека: Полные системы булевых функций.