Критерии, выделяющие заведомо совместную систему уравнений с искаженной правой частью

Предлагаются статистические критерии, позволяющие различать случайные системы булевых уравнений и системы булевых уравнений с искаженной правой частью.