Talk:Boolean algebra (structure)

Boolean algebra (structure) has been listed as a level-5 vital article in Mathematics. If you can improve it, please do. This article has been rated as B-Class by WikiProject Vital Articles.

WikiProject Mathematics

(Rated B-class, Mid-priority)

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
B	This article has been rated as B-Class on the project's quality scale.
Mid	This article has been rated as Mid-priority on the project's priority scale.

Archives

1, 2, 3, 4

Sections older than 12 months may be automatically archived by .

About isomorphisms[edit]

In § 4, Homomorphisms and isomorphisms, why's isomorphisms being mentioned in the title, but not in the section itself? Are all homomorphisms also isomorphisms? That should be written then.

--Unknowledgeable (talk) 13:50, 18 July 2016 (UTC)Reply[reply]

I've added the definition of isomorphism; not every homomorphism is an isomorphism. Andrewbt (talk) 05:45, 31 December 2017 (UTC)Reply[reply]

Anti-absorption[edit]

Another useful identity (theorem, not axiom) is:

a ∨ (¬a ∧ b) = a ∨ b

a ∧ (¬a ∨ b) = a ∧ b

Does this have a standard name? It follows immediately from distributivity, of course. Should it be mentioned in the article? --Macrakis (talk) 20:09, 26 March 2021 (UTC)Reply[reply]