Příklad do matematiky na základy logiky a teorie množin.

Prosím o pomoc s tímto příkladem. Znění: Na modelu kolejiště je možno uvést do pohybu tři vlakové soupravy A, B, C. V daném okamžiku je jejich situace charakterizovaná formulí [(A´ ˅ B´) => C] ˄ [(A ˅ C) => B´]. Které soupravy jsou v pohybu? (X – vlaková souprava je v pohybu, X´ - vlaková souprava není v pohybu.)

Zkoušela jsem řešit i tabulkou, ale také jsem si kreslila vláčky, ale bohužel si nevím rady. Kdybyste někdo věděli, jak řešit, byla bych moc vděčná. Děkuji