~(((p & q) | (r => s)) => ((p | (r => s)) & (q | (r => s))))