====== هم‌ارزی گزاره‌ها======
کزاره‌های ریاضی $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$‌با آن‌ها هم‌ارز است، به ترتیب صعودی بنویسید. هر گزاره باید در یک سطر نوشته شود.



===== محدودیت‌ها =====


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

===== ورودی و خروجی نمونه =====

<WRAP :en>
^  ورودی نمونه  ^  خروجی نمونه  ^
|A $\Rightarrow$ B \\ B $\Rightarrow$ C \\ C$\Rightarrow$ A \\ A $\Rightarrow$ D  \\ B $\Rightarrow$ D| B \\ C |
</WRAP><پاسخ>



</پاسخ>


  * [[سوال ۱۳|سوال بعد]]
  * [[سوال ۱۱|سوال قبل]]