(p||(q&&r)) <=> ((p||q)&&(p||r))