Դիզյունկտիվ միանդամ

Դիզյունկտիվ միանդամ (մաքսթերմ) $X_1,X_2,...,X_n\in \{0,1\}$ փոփոխականներից, այս փոփոխականների դիզյունկցիա կամ կամ նրանց ժխտումը։

Մաքսթերմը հավասար է 0-ի միայն արգումենտների միակ խմբի դեպքում։ Եթե մաքսթերմը միաժամանակ պարունակում է փոփոխական և նրա ժխտում, ապա այն միշտ հավասար է 1-ի։

Օրինակներ

• $\mathrm{\neg }{X}_1\vee X_2\vee X_3$
• $X_2\vee X_2$
• $\mathrm{\neg }{X}_2\vee X_1\vee \mathrm{\neg }{X}_4\vee \mathrm{\neg }{X}_1\vee X_4\vee \mathrm{\neg }{X}_2$

Տես նաև

• Կոնյունկտիվ միանդամ
• Կատարյալ միանդամ
• Դիզյունկտիվ նորմալ ձև
• Բուլյան հանրահաշիվ
• Տրամաբանության հանրահաշիվ

Կաղապար:Անավարտ