حل تشریحی سوال شماره 32 دروس مشترک

کدام یک از هم ارزی‌های منطقی زیر همیشه برقرار است؟

$\left[\left(p\to q\right)\to \left(r\to s\right)\right]=\left[\left(p\to r\right)\to \left(q\to s\right)\right]$

$\left[\left(\neg p\wedge \left(p\to q\right)\right)\to q\right]\equiv True$