Ockham algebra
गणित में, एक ओकहम बीजगणित एक दोहरे एंडोमोर्फिज्म के साथ एक बाउंडेड डिस्ट्रीब्यूटिव जाली है, यानी एक ऑपरेशन ~ संतोषजनक ~ (xwy) = ~ xwy, ~ (xwy) = ~ xwy, ~ 0 = 1, ~ 1 = 0। उन्हें ओक्हम के विलियम द्वारा पेश किया गया था और उनके नाम पर रखा गया था। ओकहम अल्जेब्रा विभिन्न प्रकार के होते हैं। ओकहम बीजगणित के उदाहरणों में बूलियन बीजगणित, डी मॉर्गन बीजगणित, क्लेन बीजगणित और स्टोन बीजगणित शामिल हैं। संदर्भ (जी. डी. जेड. से उपलब्ध पीडीएफ) बीजगणितीय तर्क