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

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

آیفون تصویری یک سیستم مخابراتی خودکفا برای ارتباطات صوتی و تصویری بین در آپارتمان با آپارتمان و یا ورودی با ساختمان (مجتمع مسکونی، خانه مستقل و غیره) از طریق تلفن تصویری قرار داده شده در داخل آپارتمان است.
این دستگاه افراد داخل خانه را قادر می کند مهمانشان را شناسایی کنند و اگر (و تنها اگر) مایل باشند، وارد گفت و گو با وی شوند یا در را باز می کنند تا وی وارد خانه شود. آیفون تصویری (ویدئو درب) اجازه می دهد فرد با خیال راحت و از راه دور ارتباط برقرار کند و اعتبار فرد مهمان را تأیید کند که در نتیجه ایمنی و امنیت بالا می رود.