Recent content by polyglot

Thanks - it is useful to look at it using a Venn diagram. Is there a name for this property then p ∨ ( ¬p ∧ q) = p ∨ q

According to my notes, the absorption law states that p ∨ (p ∧ q) = p, p ∧ (p ∨ q) = p I have found a video where they were discussing a partial absorption such as ¬q ∧ (¬p∨q) = ¬q ∧ ¬p This is not in my notes, but is this correct? specifically, is the terminology used to decribe this property...

You are aboslutly right! Thanks for your help!

Then, I think I know how to go on: r v¬r is always True, and therefore I will end up with p∨t. Does it look OK to you?

I am thinking if the distributive property states that p ∧ ( q ∨ r) = ( p ∧ q) ∨ ( p ∧ r) surely in my original question I just need to apply it in reverse and obtain (p∨t)∧[(r v¬r] . I think this is distributive - factorising does not appear on my notes. Is this correct?

If I cannot 'factorise', then I was going to use distributive but not sure how to apply it and then continue with the simplification?

deMorgan laws, distributive, absorption law etc. I am assuming the usual ones...?

This is the first time I am doing logic so the question is probably stupid, but could I just factorise (p∨t)∧[(r v¬r] or perhaps you cannot do that in Boolean algebra?