کزاره‌های ریاضی $Z،…،B،A$ را در نظر بگیرید. می‌دانیم بعضی از آن‌ها بعضی دیگر را نتیجه می‌دهند. به عنوان مثال، فرض کنید بدانیم $A\Rightarrow D ، C \Rightarrow A ، B \Rightarrow C ، A \Rightarrow B$و $B \Rightarrow D$ آن‌گاه مشخص است که گزاره $A$ با گزاره‌های $B$ و $C$، هم‌ارز خواهد بود. شما باید با داشتن روابط بین $Z,…,A$، مشخص کنید گزاره $A$ با کدام یک از گزاره‌های دیگر هم‌ارز است.

در هر سطر از فایل ورودی $X\Rightarrow Y$ به نشانه‌ی این است که $X$، $Y$ را نتیجه می‌دهد.

در فایل خروجی شما باید گزاره‌هایی را که $A$‌با آن‌ها هم‌ارز است، به ترتیب صعودی بنویسید. هر گزاره باید در یک سطر نوشته شود.

• محدودیت زمان: ۲ ثانیه
• محدودیت حافظه: ۲۵۶ مگابایت

• سوال بعد
• سوال قبل