Question

Is the structure of propositional logic axiomatizable by the axioms of Boolean algebra?

score 91 · Answer 1 · 2026-04-11 00:27:53

91

Views

Is the structure of propositional logic axiomatizable by the axioms of Boolean algebra?

Published on 11 Apr 2026 - 0:27

score 91 · Answer 2 · 2021-09-26 20:35:38

91

Views

Elementary embedding between infinite atomic Boolean algebras

Published on 26 Sep 2021 - 20:35

score 60 · Answer 3 · 2021-09-27 15:41:18

60

Views

Elementary embedding between infinite complete atomic Boolean algebras

Published on 27 Sep 2021 - 15:41

score 61 · Answer 4 · 2021-09-30 08:13:44

61

Views

notation for equivalence of boolean algebra expressions

Published on 30 Sep 2021 - 8:13

score 196 · Answer 5 · 2021-10-04 15:22:16

196

Views

Elementary embedding and infinite atomic Boolean algebras

Published on 04 Oct 2021 - 15:22

score 668 · Answer 6 · 2026-04-11 10:28:13

668

Views

Difference between duality and negation in boolean algebra and logic

Published on 11 Apr 2026 - 10:28

score 323 · Answer 7 · 2026-04-10 00:50:57

323

Views

N lights, N levers puzzle design - finding interesting connections for a given solution

Published on 10 Apr 2026 - 0:50

score 134 · Answer 8 · 2021-10-09 23:24:23

134

Views

How many boolean functions of $n$ variables exists that can be written as one product

Published on 09 Oct 2021 - 23:24

score 273 · Answer 9 · 2026-04-03 21:04:06

273

Views

Quantifier elimination for the theory of infinite atomic Boolean Algebra

Published on 03 Apr 2026 - 21:04

score 144 · Answer 10 · 2021-10-13 14:49:15

144

Views

Boolean Algebra POS of $F(A,B,C,D)=\bar{B}A(\bar{C}D+\bar{B})+(B\bigoplus C)$

Published on 13 Oct 2021 - 14:49

score 35 · Answer 11 · 2026-04-11 20:18:45

35

Views

Product of Sums for a 4 variable fucntion without a truth table

Published on 11 Apr 2026 - 20:18

score 136 · Answer 12 · 2021-10-14 12:52:26

136

Views

Is it true that in any boolean algebra $x\oplus0 = x$?

Published on 14 Oct 2021 - 12:52

score 77 · Answer 13 · 2026-04-12 02:54:33

77

Views

Question on Boolean algebras

Published on 12 Apr 2026 - 2:54

score 65 · Answer 14 · 2026-04-10 00:12:09

65

Views

Boolean algebras- question

Published on 10 Apr 2026 - 0:12

score 986 · Answer 15 · 2026-04-09 00:39:25

986

Views

How to convert a boolean function to CNF?

Published on 09 Apr 2026 - 0:39

List Question

Is the structure of propositional logic axiomatizable by the axioms of Boolean algebra?

Elementary embedding between infinite atomic Boolean algebras

Elementary embedding between infinite complete atomic Boolean algebras

notation for equivalence of boolean algebra expressions

Elementary embedding and infinite atomic Boolean algebras

Difference between duality and negation in boolean algebra and logic

N lights, N levers puzzle design - finding interesting connections for a given solution

How many boolean functions of $n$ variables exists that can be written as one product

Quantifier elimination for the theory of infinite atomic Boolean Algebra

Boolean Algebra POS of $F(A,B,C,D)=\bar{B}A(\bar{C}D+\bar{B})+(B\bigoplus C)$

Product of Sums for a 4 variable fucntion without a truth table

Is it true that in any boolean algebra $x\oplus0 = x$?

Question on Boolean algebras

Boolean algebras- question

How to convert a boolean function to CNF?

Trending Questions

Popular # Hahtags

Popular Questions