



 
Hi Tom, Let r be the statement ~q then (p & ~q) v p ≡ (p & r) v p and absorption then implies that this is logically equivalent to p. Harley  


Math Central is supported by the University of Regina and The Pacific Institute for the Mathematical Sciences. 