Ockham algebras

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