در این روش آب با فشار از میان غشایی گذرانده می‌شود که نیترات و سایر مواد معدنی را فیلتر می‌کند. نیم تا دو سوم آب پشت این غشا باقی می‌ماند که به عنوان آب پسمانده دور ریخته می‌شود. سیستم‌های اسمز معکوس با کارآیی بالا از فشارهای در حد یک میلیون پاسکال استفاده می‌کنند.

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

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

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

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

یک کوتوله‌ی قهوه‌ای که به نام وایز ۰۸۵۵ یا WISE 0855 شناخته می‌شود، در واقع سردترین جرم شناخته شده‌ی خارج از منظومه شمسی ما است. در حال حاضر به علت نور بسیار کم این جرم کیهانی، چیز زیادی درباره‌ی آن نمی‌دانیم. از سویی این یافته‌ها می‌توانند به ما در شناسایی بیشتر ترکیب این اجرام فراخورشیدی و همچنین شناسایی و بررسی رفتار غول‌های گازی همانند سیاره‌ی مشتری کمک کنند.