Графы систем двучленных уравнений с булевыми неизвестными

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