(p' v q') <=> (p=>q')​