سد، هر نوع مانعی است که جریان آب را مهار می‌کند. هدف اصلی از ساخت سدها، ذخیره‌سازی، مدیریت و یا جلوگیری از جاری شدن بیش از حد آب به مناطق خاص است. علاوه بر این، برخی از سدها برای تولیدبرق آبینیز مورد استفاده قرار می‌گیرند. در این مطلب، به سدهای ساخته شده توسط انسان می‌پردازیم؛ اما لازم به ذکر است که سدها می‌توانند به طور طبیعی نیز ایجاد شوند، مانند سدهایی که در اثر رانش زمین یا حتی فعالیت حیواناتی مانند سگ آبی شکل می‌گیرند.
"سیاهچالۀ XJ1500+0154 بیش از یک دهه است که ستاره می‌بلعد. این مدت زمان ده برابر طولانی‌تر از مرگ ستاره‌های دیگر توسط سیاهچاله‌ها بوده است؛ به همین علّت، این سیاهچاله رکورددار این پدیده است و به آنTDE (سرواژۀ Tidal Disruption Eventبه معنای گسست کشندی) می‌گویند.
هم‌ارزی منطقی یکی از مفاهیم اساسی در منطق گزاره‌هاست و زمانی برقرار است که دو گزاره یا عبارت منطقی، برای تمام حالت‌های ممکنِ ارزش‌دهی به گزاره‌های ساده، دقیقاً ارزش صدق یکسانی داشته باشند. اگر دو گزاره \(p\) و \(q\) در همه حالت‌ها هم‌ارزش باشند، آنها را با نماد \(p \equiv q\) نشان می‌دهیم.
یکی از مهم‌ترین روش‌های بررسی هم‌ارزی منطقی، استفاده از جدول ارزش است. همچنین دو عبارت \(p\) و \(q\) دقیقاً زمانی هم‌ارز منطقی هستند که گزاره دوشرطی \(p \leftrightarrow q\) یک همان‌گویی باشد؛ یعنی در تمام حالت‌ها ارزش «درست» داشته باشد.
در این مقاله تعریف رسمی هم‌ارزی منطقی، تفاوت آن با تساوی و استلزام منطقی، قوانین مهم مانند قوانین دمورگان، جابه‌جایی، شرکت‌پذیری و توزیع‌پذیری، روش اثبات هم‌ارزی با جدول ارزش و چند مثال حل‌شده از ساده تا پیشرفته بررسی می‌شود.