#Boolean Algebra

10 messages · Page 1 of 1 (latest)

candid plinthBOT
shadow prawn
#

"when the expression is a tautology"
That's not what tautology means.

#

Anyway, can you tell me how you got from your first line to the second? Why are those the same?

shadow prawn
#

A tautology is a statement that is always true.

#

Are you saying that the original statement is a tautology?

#

Note that A or B or C is not a tautology.

lunar scaffold
#

You can’t absorb the two propositions because P or Q doesn’t imply P.

#

Which also means that P or notP doesn’t imply P

cloud oriole
#

(¬A ∧ B) ∨ (A ∧ B) simplifies to B

#

and (C ∧ ¬B) ∨ (¬B ∧ ¬C) to ¬B