گفته می‌شود در اوایل قرن بیستم، انشتین صاحب دو فرزند شد- دو نظریه‌ی بزرگ فیزیك. می‌گویند او یكی را فرزندانش را دوست داشت (نسبیت) و از دیگری متنفر بود (فیزیك كوانتوم).

هنگامی گفته می شود که معلم در کلاس از شاگردان خواسته باشد چیزی بنویسد یا تمرینی را به صورت کتبی یا شفاهی انجام دهند. این سوال معادلHave you finished است .

هم‌ارزی منطقی یکی از مفاهیم اساسی در منطق گزاره‌هاست و زمانی برقرار است که دو گزاره یا عبارت منطقی، برای تمام حالت‌های ممکنِ ارزش‌دهی به گزاره‌های ساده، دقیقاً ارزش صدق یکسانی داشته باشند. اگر دو گزاره \(p\) و \(q\) در همه حالت‌ها هم‌ارزش باشند، آن‌ها را با نماد \(p \equiv q\) نشان می‌دهیم.

یکی از مهم‌ترین روش‌های بررسی هم‌ارزی منطقی، استفاده از جدول ارزش است. همچنین دو عبارت \(p\) و \(q\) دقیقاً زمانی هم‌ارز منطقی هستند که گزاره دوشرطی \(p \leftrightarrow q\) یک همان‌گویی باشد؛ یعنی در تمام حالت‌ها ارزش «درست» داشته باشد.

در این مقاله تعریف رسمی هم‌ارزی منطقی، تفاوت آن با تساوی و استلزام منطقی، قوانین مهم مانند قوانین دمورگان، جابه‌جایی، شرکت‌پذیری و توزیع‌پذیری، روش اثبات هم‌ارزی با جدول ارزش و چند مثال حل‌شده از ساده تا پیشرفته بررسی می‌شود.

آیا تا به حال متوجه شباهت بین آهنگ هایی که در سرتان می پیچد شده اید؟ یک دلیل علمی پشت سر این ماجرا است که چرا بعضی از ترانه ها در مغز ما تکرار می شوند در حالی که برخی دیگر محو می شوند.