سوال :
هنگامی که میخواهیم درستی حکمی را از طریق اثبات با در نظر گرفتن همه حالات اثبات کنیم در واقع داریم از کدام هم ارزی منطقی استفاده می کنیم؟
- 1.\( (p \lor q \Rightarrow r) \equiv (p \Rightarrow r) \land (q \Rightarrow r) \)
- 2.\( (p \lor q \Rightarrow r) \equiv (p \Rightarrow r) \lor (q \Rightarrow r) \)
- 3.\( (p \land q \Rightarrow r) \equiv (p \Rightarrow r) \lor (q \Rightarrow r) \)
- 4.\( (p \land q \Rightarrow r) \equiv (p \Rightarrow r) \land (q \Rightarrow r) \)