Ockham algebra
கணிதத்தில், ஒரு ஓக்கம் இயற்கணிதம் என்பது இரட்டை எண்டோமார்பிசத்துடன் கூடிய ஒரு வரம்புக்குட்பட்ட விநியோக லாட்டீஸ் ஆகும், அதாவது, ஒரு செயல்பாடு ~ திருப்திகரமாக ~ (xwy) = ~ xwy, ~ (xwy) = ~ xwy, ~ 0 = 1, ~ 1 = 0. அவை அறிமுகப்படுத்தப்பட்டன, மேலும் அவை அக்ஹாமின் வில்லியம் பெயரால் பெயரிடப்பட்டன. ஓக்கம் ஆல்ஜிப்ராக்கள் பல்வேறு வகைகளை உருவாக்குகின்றன. பூலியன் ஆல்ஜிப்ராக்கள், டி மோர்கன் ஆல்ஜிப்ராக்கள், க்ளீன் ஆல்ஜிப்ராக்கள் மற்றும் ஸ்டோன் ஆல்ஜிப்ராக்கள் ஆகியவை ஓக்கம் ஆல்ஜிப்ராக்களின் எடுத்துக்காட்டுகளாகும். குறிப்புகள் (PDF GDZ இலிருந்து கிடைக்கிறது) இயற்கணித தர்க்கம்