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

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

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

روبات های امروزی پرواز می كنند، می جهند، می چرخند و ... . با این حال لازم است مثل هر وسیله ای كه انرژی اش به پایان می رسد سوخت گیری كنند یا شارژ مجدد شوند. در این شرایط نسل جدیدی از روبات ها در حال مطالعه هستند كه ممكن است با تغذیه از حشرات مرده، مواد گیاهی فاسد شده و یا حتی ضایعات انسانی تقریباً برای همیشه با اتكا بر خود به فعالیتشان ادامه دهند.

کد درسدن (Dresden Codex)، قدیمی‌ترین کتاب آمریکایی شناخته شده است. تحلیلی جدید از این متن باستانی مایایی نشان می‌دهد که دانشمندی از اوایل  دوره‌ی مایا احتمالا بیش از هزار سال پیش، کشفی بزرگ کرده است.