Talk:Boolean algebra (structure)
 | This  level-5 vital article is rated B-class on Wikipedia's content assessment scale.It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
|
This page has archives. Sections older than 365 days may be automatically archived by Lowercase sigmabot III when more than 10 sections are present. |
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)
- I've added the definition of isomorphism; not every homomorphism is an isomorphism. Andrewbt (talk) 05:45, 31 December 2017 (UTC)
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)