اولین رویداد نجومی سال 2017 میلادی با بارش شهابی ربعی در شبانگاه سه شنبه (14 دی) و بامداد چهارشنبه ( 15 دی) ، بارش شهابی ربعی یا کوادرانتی یکی از بارش های معروف سالانه بوده و زمان اوج این بارش اواسط دی ماه هر سال است.
مایلار چیست؟ شما ممکن است با این ماده در بادکنک های درخشان پر از هلیوم، فیلترهای خورشیدی، پتوهای فضایی، پوشش های پلاستیکی محافظ یا عایق ها آشنا باشید. در ادامه نگاهی به این می اندازیم که مایلار از چه چیزی ساخته شده و چگونه تولید می شود.
عطف و فصل از بنیادی‌ترین عملگرهای منطق گزاره‌ای هستند که برای ساخت گزاره‌های مرکب از گزاره‌های ساده به کار می‌روند. عطف با نماد \(p\land q\) نشان داده می‌شود و تنها زمانی درست است که هر دو گزاره \(p\) و \(q\) درست باشند. فصل با نماد \(p\lor q\) نشان داده می‌شود و در منطق گزاره‌ای کلاسیک زمانی درست است که دست‌کم یکی از دو گزاره درست باشد؛ بنابراین حالت درست بودن هم‌زمان هر دو گزاره نیز در آن قرار می‌گیرد.
در این مقاله تعریف دقیق عطف و فصل، نمادگذاری، جدول ارزش، خواص مهم، قوانین دمورگان، تفاوت فصل منطقی با «یا»ی انحصاری، تقدم عملگرها، روش تحلیل گزاره‌های مرکب و مثال‌های حل‌شده از ساده تا ترکیبی بررسی می‌شود.