Ockham algebra
ಗಣಿತಶಾಸ್ತ್ರದಲ್ಲಿ, ಓಕ್ಹ್ಯಾಮ್ ಬೀಜಗಣಿತವು ಎರಡು ಎಂಡೋಮಾರ್ಫಿಸಮ್ ಹೊಂದಿರುವ ಒಂದು ಸೀಮಿತ ವಿತರಣಾ ಜಾಲಕವಾಗಿದೆ, ಅಂದರೆ, ~ ತೃಪ್ತಿಕರ ~ (xwy) = ~ xwy, ~ (xwy) = ~ xwy, ~ 0 = 1, ~ 1 = 0. ಅವರು ಪರಿಚಯಿಸಿದರು, ಮತ್ತು ಅವರು ಓಕ್ಹ್ಯಾಮ್ನ ವಿಲಿಯಂನ ಹೆಸರನ್ನು ಇಡಲಾಯಿತು. ಓಕ್ಹ್ಯಾಮ್ ಆಲ್ಜೆಬ್ರಾಗಳು ವೈವಿಧ್ಯತೆಯನ್ನು ರೂಪಿಸುತ್ತವೆ. ಓಕ್ಹ್ಯಾಮ್ ಆಲ್ಜೆಬ್ರಾಗಳ ಉದಾಹರಣೆಗಳಲ್ಲಿ ಬೂಲಿಯನ್ ಆಲ್ಜೆಬ್ರಾಗಳು, ಡಿ ಮೋರ್ಗನ್ ಆಲ್ಜೆಬ್ರಾಗಳು, ಕ್ಲೈನ್ ಆಲ್ಜೆಬ್ರಾಗಳು ಮತ್ತು ಸ್ಟೋನ್ ಆಲ್ಜೆಬ್ರಾಗಳು ಸೇರಿವೆ. ಉಲ್ಲೇಖಗಳು (ಜಿ. ಡಿ. ಜೆಡ್ ನಿಂದ ಪಿ. ಡಿ. ಎಫ್ ಲಭ್ಯವಿದೆ) ಬೀಜಗಣಿತದ ತರ್ಕ