Logic: Adds proof for or_distributes_over_and.
Logic: Adds proof for bool_prop.