List questions from boolean-algebra

Published on 17 Apr 2026 - 0:19

428

Views

How do I prove if a set of operations is complete?

Published on 10 May 2026 - 14:55

150

Views

How to prove that $\{\land,\lnot\}$ is complete?

Published on 13 Apr 2026 - 14:24

482

Views

If $B$ if a finite Boolean algebra, then it contains an atom

Published on 14 Apr 2026 - 8:44

57

Views

Why are $T_0, T_1, L, M, S$ the main five Boolean classes?

Published on 16 Apr 2026 - 3:00

66

Views

Subfunctor of a hom functor in a Boolean topos

Published on 10 May 2026 - 15:29

224

Views

Understanding the implication switch

Published on 10 May 2026 - 12:59

86

Views

Function mapping definition and calculating with logic symbols

Published on 09 Apr 2026 - 4:50

751

Views

How to extract numbers from an bitwise OR number in an Array?

Published on 13 Apr 2026 - 1:47

140

Views

Are true and false each considered self-dual?

Published on 11 Apr 2026 - 11:06

3.2k

Views

Why, logically, is proof by contradiction valid?

Published on 10 Apr 2026 - 16:08

70

Views

Trying to understand what this ring notation means

Published on 13 Apr 2026 - 18:13

416

Views

The logic involved in contradiction via the irrationality of $\sqrt{2}$ as an example

Published on 16 Apr 2026 - 21:22

669

Views

Majority function of 11 inputs

Published on 09 Apr 2026 - 13:18

743

Views

Boolean algebra with coordinate wise addition and multiplication

Published on 11 Apr 2026 - 2:56

List Question

Logical equivalence rule: prove a tautology

How do I prove if a set of operations is complete?

How to prove that $\{\land,\lnot\}$ is complete?

If $B$ if a finite Boolean algebra, then it contains an atom

Why are $T_0, T_1, L, M, S$ the main five Boolean classes?

Subfunctor of a hom functor in a Boolean topos

Understanding the implication switch

Function mapping definition and calculating with logic symbols

How to extract numbers from an bitwise OR number in an Array?

Are true and false each considered self-dual?

Why, logically, is proof by contradiction valid?

Trying to understand what this ring notation means

The logic involved in contradiction via the irrationality of $\sqrt{2}$ as an example

Majority function of 11 inputs

Boolean algebra with coordinate wise addition and multiplication

Trending Questions

Popular # Hahtags

Popular Questions