Ockham algebras

Булева алгебра (структура) Булева алгебра – алгебра с двумя операциями: конъюнкция (∧) и дизъюнкция (∨).  Основные аксиомы булевой алгебры включают […]