all of these expressions can be simplified to (a or b) instead of (a and a or b)