ในการทำงานอย่างหนึ่ง ถ้าสามารถแบ่งวิธีทำงานออกเป็น \(k\) กรณี โดยที่
   กรณีที่ 1 สามารถทำได้ \(n_1\) วิธี
   กรณีที่ 2 สามารถทำได้ \(n_2\) วิธี
   กรณีที่ 3 สามารถทำได้ \(n_3\) วิธี
                 
   กรณีที่ \(k\) สามารถทำได้ \(n_k\) วิธี
ซึ่งวิธีทำงานทั้ง \(k\) กรณีไม่ซ้ำซ้อนกัน และการทำงานในแต่ละกรณีทำให้งานเสร็จสมบูรณ์
แล้วจะสามารถทำงานนี้ได้ทั้งหมด \(n_1+n_2+n_3+...+n_k\) วิธี