منطق گزاره‌ای و هم‌ارزی‌های منطقی

قوانین بنیادی هم‌ارزی — استلزام مادی، دمورگان و توزیع‌پذیری — که برای بازنویسی و مقایسهٔ گزاره‌های مرکب به کار می‌روند.