5.3 · Диаграммаҳои парокандагӣ ва моделҳо - Математикаи SAT