Výroková logika TSP

Uvažujme dvě tvrzení:

1. Jestliže Tomáš není ženatý, pak nemá děti.
2. ???

Víme, že z těchto dvou tvrzení vyplývá třetí tvrzení: „Tomáš bydlí v podnájmu nebo je ženatý.“

Které z následujících tvrzení můžeme dosadit na místo druhého?

a) Jestliže má Tomáš děti, pak nebydlí v podnájmu.‌

b) Tomáš nemá děti nebo bydlí v podnájmu.‌

c) Tomáš není ženatý nebo nemá děti.‌

d) Jestliže Tomáš nebydlí v podnájmu, pak má děti.‌

e) Jestliže je Tomáš ženatý, pak nebydlí v podnájmu.‌