قانون تعویض پذیری ( Commutative Law ) در منطق گزاره ای دو قانون است:
1. **A ∧ B ≡ B ∧ A**
2. **A ∨ B ≡ B ∨ A**
این قوانین بیان می کنند که ترتیب عملگرهای اشتراک ( ∧ ) و اجتماع ( ∨ ) در یک عبارت منطقی، تاثیری در نتیجه نهایی ندارد. به عبارت دیگر، می توان ترتیب گزاره ها را تغییر داد بدون اینکه ارزش درستی یا نادرستی عبارت تغییر کند.
... [مشاهده متن کامل]
این قوانین بیان می کنند که ترتیب عملگرهای اشتراک ( ∧ ) و اجتماع ( ∨ ) در یک عبارت منطقی، تاثیری در نتیجه نهایی ندارد. به عبارت دیگر، می توان ترتیب گزاره ها را تغییر داد بدون اینکه ارزش درستی یا نادرستی عبارت تغییر کند.
... [مشاهده متن کامل]