Má přednost implikace nebo ekvivalence nebo disjunkce

Dobrý den, řeším příklad do výrokové logiky, a zajímá mě jak si udělat správně závorky, abych mohl výrokovou formuli správně vyhodnotit.

vezmeme li si takovýto příklad :

a = > c or b <=> c => b and a <=> b

jsem si jist že závorka musí být určite u AND, protože se jedná o logický součin, musí mít předčímkoli přednost.

tudíž určitě bude první krok vypadat takto : a = > c or b <=> c => (b and a) <=>b, dále už ale bohužel nevím jak mám když mám vedle sebe logický součet, implikaci a ekvivalenci

Děkuji moc za radu