Question

Can you write the shortest boolean formula for this truth table?

score 94 · Answer 1 · 2026-04-12 17:02:25

94

Views

Can you write the shortest boolean formula for this truth table?

Published on 12 Apr 2026 - 17:02

score 62 · Answer 2 · 2026-04-10 06:17:33

62

Views

Are ultrafilters precisely the designated sets in semantics(es) for classical logic?

Published on 10 Apr 2026 - 6:17

score 176 · Answer 3 · 2026-04-09 11:59:07

176

Views

Proof that regular elements of Heyting algebra form a Boolean algebra

Published on 09 Apr 2026 - 11:59

score 91 · Answer 4 · 2022-01-20 05:19:46

91

Views

Equivalent Symbol

Published on 20 Jan 2022 - 5:19

score 31 · Answer 5 · 2026-04-08 16:44:13

31

Views

How do I finish the last few steps of this simplification of a boolean expression?

Published on 08 Apr 2026 - 16:44

score 449 · Answer 6 · 2022-01-20 15:22:31

449

Views

Graph Representation for Boolean functions

Published on 20 Jan 2022 - 15:22

score 79 · Answer 7 · 2022-01-25 01:06:24

79

Views

Is this implication true or false?

Published on 25 Jan 2022 - 1:06

score 74 · Answer 8 · 2026-04-11 08:19:03

74

Views

How to show $\{0, \vee, \leftrightarrow \}$ is functionally complete/ incomplete?

Published on 11 Apr 2026 - 8:19

score 208 · Answer 9 · 2026-04-01 10:00:25

208

Views

Left adjoint to the inclusion of Boolean algebras into distributive lattices

Published on 01 Apr 2026 - 10:00

score 72 · Answer 10 · 2026-03-30 03:17:22

72

Views

Boolean-Valued models on a proper class universe

Published on 30 Mar 2026 - 3:17

score 30 · Answer 11 · 2026-03-30 03:23:24

30

Views

Jech Set Theory Lemma 14.18 proof

Published on 30 Mar 2026 - 3:23

score 43 · Answer 12 · 2026-04-12 09:32:37

43

Views

Sum of products boolean algebra with 3 inputs

Published on 12 Apr 2026 - 9:32

score 41 · Answer 13 · 2022-02-01 03:17:49

41

Views

If all proposition are dependent, is the truth value of the AND gate dependent as well?

Published on 01 Feb 2022 - 3:17

score 646 · Answer 14 · 2026-04-11 18:45:50

646

Views

Distributivity of XOR over boolean matrices multiplication-Decrypt AES

Published on 11 Apr 2026 - 18:45

score 130 · Answer 15 · 2026-04-11 02:46:35

130

Views

Is it possible to write all logical statements using only the biconditional operator and negation? How would one prove this using natural deduction?

Published on 11 Apr 2026 - 2:46

List Question

Can you write the shortest boolean formula for this truth table?

Are ultrafilters precisely the designated sets in semantics(es) for classical logic?

Proof that regular elements of Heyting algebra form a Boolean algebra

Equivalent Symbol

How do I finish the last few steps of this simplification of a boolean expression?

Graph Representation for Boolean functions

Is this implication true or false?

How to show $\{0, \vee, \leftrightarrow \}$ is functionally complete/ incomplete?

Left adjoint to the inclusion of Boolean algebras into distributive lattices

Boolean-Valued models on a proper class universe

Jech Set Theory Lemma 14.18 proof

Sum of products boolean algebra with 3 inputs

If all proposition are dependent, is the truth value of the AND gate dependent as well?

Distributivity of XOR over boolean matrices multiplication-Decrypt AES

Is it possible to write all logical statements using only the biconditional operator and negation? How would one prove this using natural deduction?

Trending Questions

Popular # Hahtags

Popular Questions