Top "Boolean-logic" questions

An algebraic system developed by George Boole.

Find the Simplified Sum of Products of a Boolean expression

Just having some problems with a simple simplification. I am doing a simplification for the majority decoder with 3 inputs A, …

math theory boolean-logic algebra truthtable
Return true if all column values are true

Is there a faster way in PostgreSQL to essentially do an if on several rows? Say I have a table …

sql postgresql aggregate-functions exists boolean-logic
Simplify boolean expression algorithm

Anybody knows of an algorithm to simplify boolean expressions? I remember the boolean algebra and Karnaught maps, but this is …

algorithm boolean-logic boolean boolean-expression
Boolean Algebra Simplification of (x'y'+z)'+z+xy+wz

How would you simplify the following? I'm having a bit of trouble with the first part with negation. How would …

boolean boolean-logic boolean-expression boolean-operations demorgans-law
Combining 3 boolean masks in Python

I have 3 lists: a = [True, False, True] b = [False, False, True] c = [True, True, False] When I type a or …

python boolean-logic
Standard SQL boolean operator IS vs. equals (=) operator

On the Wikipedia page for SQL there are some truth tables about boolean logic in SQL. [1] The Wikipedia page seems …

sql null boolean-logic ansi-sql
Converting logic gates to a purely NAND implementation, how come this is valid?

So Im doing some exercises with answers provided on conversion to a purely NAND gate implementation. I understand how the 2 …

logic boolean-logic boolean-operations circuit
De Morgan's Law

I am trying to simplify the following using DeMorgan's Law: ! (x!=0 || y !=0) Does x!=0 simplify to x>0? Or am …

java boolean-logic demorgans-law
If condition A is matched, condition B needs to be matched in order to do action C

My question is: if (/* condition A */) { if(/* condition B */) { /* do action C */ } else /* ... */ } else { /* do action C */ } Is it possible …

if-statement language-agnostic conditional-statements boolean-logic
VHDL: How to check selected bits of a vector

I'm wondering if there is a way to check only the bits I'm interested in of an std logic vector …

vhdl boolean-logic bitvector