在離散數學中，析取式是一種邏輯表達式，它使用析取真值連線詞「∨」將兩個或兩個以上的命題聯結而成。析取式在數據挖掘和資料庫等很多領域都有廣泛套用。
簡單析取式是含有一個變元及其否定的析取式。它的每一個析取項或是一個命題變元，或是一個命題變元的否定。例如，p、~p、pVq、~pVq等均為簡單析取式。簡單析取式的重要特點是其成假指派很容易找出，且它的真性也容易判定。一個簡單析取式是永真的，若且唯若該公式至少含有一個變元及其否定。
由有限個簡單合取式構成的析取式稱為析取範式。析取範式與合取範式統稱為範式。任一命題公式都存在著與之等值的析取範式與合取範式。