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...
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?
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?