MATH
Login Or Sign up

List Question

15
92
Views

(Blackburn's book) Question regarding a lemma about ultrafilter extension

Published on
#logic #proof-explanation #boolean-algebra #modal-logic
1.8k
Views

Simple proof $XOR$ with $0,1$ is not universal

Published on
#logic #boolean-algebra
1k
Views

Prove that set $\{\wedge, \vee \}$ is not functionally complete

Published on
#logic #boolean-algebra
253
Views

Is the equational theory of generalized boolean algebras decidable?

Published on
#abstract-algebra #elementary-set-theory #logic #boolean-algebra
186
Views

Disprove universal gate of the following function: $F(x,y)=(x+y')'$

Published on
#logic #boolean-algebra
33
Views

How do i prove this equality using boolean algebra?

Published on
#discrete-mathematics #boolean-algebra
63
Views

Boolean Identity: (x + yx) = (x + y)(x + z) what is z

Published on
#boolean-algebra
70
Views

Why is $ (a \lor b \lor c) \oplus ( a \lor b)$ equivalent to $\lnot a \land \lnot b \land c$?

Published on
#logic #propositional-calculus #boolean-algebra
90
Views

Boolean algebra homomorphisms with adjoints

Published on
#reference-request #order-theory #boolean-algebra #lattice-orders #topos-theory
36
Views

Formula to get result as $0$ for a variable assigned as $1$.

Published on
#boolean-algebra #bit-strings
45
Views

logic - how to convert this formula

Published on
#logic #propositional-calculus #boolean-algebra
103
Views

Boolean algebra - prove $x_1 = x_2$

Published on
#proof-explanation #boolean-algebra
86
Views

Shall we call this relation an "isomorphism"?

Published on
#discrete-mathematics #logic #propositional-calculus #boolean-algebra #boolean-ring
105
Views

boolean algebra simple question

Published on
#boolean-algebra
100
Views

Stone representation of the free $\sigma$-algebra on $\omega_1$ free generators

Published on
#general-topology #boolean-algebra

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.