Maqolada Jegalkin ko‘phadi bilan aniqlangan mantiqiy tenglamalar tizimini soddalashtirish va chiziqli bo'lmagan mantiqiy tenglamalar tizimlarini yechish vaqtini qisqartirish uchun ikkinchi darajadan yuqori nochiziqli mantiqiy tenglamalar tizimlarining alohida sinfining birinchi tartibli atroflari tomonidan murakkab konyunksiyalarni soddalashtirish mezoni ishlab chiqilib va taklif qilingan. Nochiziqli mantiqiy tenglamalar tizimlarining o‘rganilayotgan sinfida Jegalkin ko'phadlarining mantiqiy formulalari to'liq yoki qisman ba'zi chiziqli omillarga bo'linadi. Natijada, mantiqiy formulalar individual argumentlar, chiziqli ko'phadlar yoki ularning inkorlari ko'paytmasidan iborat murakkab elementar birikmalarning dis’yunksiyasiga keltiriladi, ular asosida chiziqli bo'lmagan mantiqiy tenglamalar tizimi olinadi. Maxsus sinflarning ikkinchi darajasidan yuqori bo'lgan Jegalkin ko‘phadidan olingan maxsus dis'yunktiv normal shakllarni minimallashtirishning ba'zi muammolari ko'rib chiqiladi.