MATH
Login Or Sign up

List Question

15
1.2k
Views

How to find logical equivalence?

Published on
#discrete-mathematics #logic #computer-science #boolean-algebra
120
Views

Boolean functions: Logic, propositions.

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

NOR gate circuit product

Published on
#boolean-algebra
88
Views

Using unit propagation to show whether binary formula is (un)satisfiable

Published on
#logic #proof-writing #propositional-calculus #boolean-algebra #decision-theory
119
Views

In logic and/or math pedagogy, do the "knockout principles" have an accepted name?

Published on
#logic #proof-writing #propositional-calculus #education #boolean-algebra
41
Views

Correct notation for field of sets

Published on
#elementary-set-theory #boolean-algebra
52
Views

How would I approach this proof by cases question?

Published on
#boolean-algebra
244
Views

boolean algebra: simplify 3-term dnf form covering a|~a

Published on
#boolean-algebra
2.1k
Views

Lattice divisors of 165, ordered by divisibility. Draw Hasse diagram, get complements, check if distributive, check if Boolean.

Published on
#abstract-algebra #divisibility #boolean-algebra #lattice-orders
125
Views

Uniqueness of the completion of a Boolean algebra

Published on
#set-theory #boolean-algebra
55
Views

Demonstrate: $(s \Longrightarrow u) \Longrightarrow (p \wedge((-(u \wedge t) \wedge s ) \vee (q \wedge r))\Longrightarrow -t\vee q\vee r)$

Published on
#discrete-mathematics #logic #boolean-algebra
59
Views

Basic question about Boolean algebras and their consideration as a category

Published on
#category-theory #boolean-algebra
147
Views

Simplify the expression: $((XY+X')\oplus (Y+YZ))'$

Published on
#boolean-algebra
42
Views

Logical proof of an equivalence

Published on
#logic #boolean-algebra
79
Views

Transform a logical function into conjunctive form

Published on
#propositional-calculus #boolean-algebra #conjunctive-normal-form

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.