نکته: $(p\Rightarrow q)\equiv (\sim p\vee q)$  در گزارۀ شرطی داده شده، گزارۀ p را «باران به کوهستان نمی‌بارد» و گزارۀ q را «دجله خشک رود می‌شود» در نظر می‌گیریم. مطابق نکتۀ بالا، این گزاره هم‌ارز $\sim p\vee q$؛ یعنی «باران می‌بارد یا دجله خشک می‌شود» است.