Sum of Product (SOP) adalah sebuah bentuk ekspresi logika yang menyatakan bahwa suatu keadaan tertentu terjadi jika salah satu dari beberapa kondisi yang diberikan terpenuhi. SOP dapat dituliskan dengan menggunakan tanda OR (∨) antar kondisi yang diberikan.

Standard Sum of Product (SSOP) adalah sebuah bentuk ekspresi SOP yang menggunakan variabel-variabel yang disederhanakan dengan menggunakan metode maping.

Product of Sum (POS) adalah sebuah bentuk ekspresi logika yang menyatakan bahwa suatu keadaan tertentu terjadi hanya jika semua kondisi yang diberikan terpenuhi. POS dapat dituliskan dengan menggunakan tanda AND (∧) antar kondisi yang diberikan.

Standard Product of Sum (SPOS) adalah sebuah bentuk ekspresi POS yang menggunakan variabel-variabel yang disederhanakan dengan menggunakan metode maping.

Minterm adalah sebuah bentuk ekspresi logika yang menyatakan bahwa suatu keadaan tertentu terjadi hanya jika seluruh variabel yang tercantum dalam ekspresi tersebut bernilai TRUE. Minterm dapat dituliskan dengan menggunakan tanda AND (∧) antar variabel yang tercantum dalam ekspresi tersebut.

Maxterm adalah sebuah bentuk ekspresi logika yang menyatakan bahwa suatu keadaan tertentu terjadi hanya jika seluruh variabel yang tercantum dalam ekspresi tersebut bernilai FALSE. Maxterm dapat dituliskan dengan menggunakan tanda OR (∨) antar variabel yang tercantum dalam ekspresi tersebut.

Contoh:

• SOP: (A ∨ B ∨ C) menyatakan bahwa keadaan tertentu terjadi jika salah satu dari variabel A, B, atau C bernilai TRUE.

• SSOP: (A'B' + A'BC + AB'C') menyatakan bahwa keadaan tertentu terjadi jika salah satu dari kondisi A'B', A'BC, atau AB'C' terpenuhi.

• POS: (A ∧ B ∧ C) menyatakan bahwa keadaan tertentu terjadi jika semua variabel A, B, dan C bernilai TRUE.

• SPOS: (A'B'C' + A'BC' + A'B'C + ABC) menyatakan bahwa keadaan tertentu terjadi jika salah satu dari