Matematické Fórum

Zdravím, potřebovala bych poradit, jestli správně chápu....

Úloha: V dílně jsou 3 stroje, které pracují podle těchto podmínek:
* Pracuje-li první stroj, pracuje i druhý stroj;
* Pracuje druhý nebo třetí stroj;
* Nepracuje-li první stroj, nepracuje ani třetí stroj.
Jaké jsou možnosti pro práci této trojice strojů?   ( označení 1. A, 2. B, 3. C)

Řešila jsem to tabulkou pravdivostních hodnot. Došla jsem k tomu, že pracují všechny ABC, nebo AB, nebo jen B. Přemýšlím ale, jestli možnost, že pracují zároveň všechny, splňuje druhou podmínku. Na jednu stranu "nebo" odkazuje na disjunkci, která je pravdivá pokud je pravdivý alespoň jeden z atomických výroků, což vlastně zahrnuje i možnost kdy jsou pravdivé oba, na druhou stranu mi "druhý nebo třetí" zní jako "jen jeden z nich". Už jsem na to samý narazila vícekrát, přičemž v jednom dalším příkladu mám explicitně řečeno "jedno nebo druhé, ale ne současně"... Je tedy možná varianta, že pracují všechny stroje?