A sentence preservation theorem for Boolean algebras (Q6197145)
From MaRDI portal
scientific article; zbMATH DE number 7806063
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sentence preservation theorem for Boolean algebras |
scientific article; zbMATH DE number 7806063 |
Statements
A sentence preservation theorem for Boolean algebras (English)
0 references
16 February 2024
0 references
Boolean algebra
0 references
Venn diagram
0 references
truth table
0 references
Horn formula
0 references
