(a <=> (b => c)) <=> ((a & c) | (~(a <=> b) & ~c))