الف)
فرمول: $ p \lor (p \land q) \equiv p $
محاسبه:
$ p = T,\ q = F $
$ p \land q = T \land F = F $
$ p \lor (p \land q) = T \lor F = T $
$ p = T $
پس:
$ T \equiv T $✅ درست
ب)
فرمول:$ (p \Rightarrow q) \equiv F $
محاسبه:
$ p = T,\ q = F $
$ p \Rightarrow q = T \Rightarrow F = F $
پس:
$ F \equiv F $✅ درست
پ)
فرمول:$ p \land (p \lor q) \equiv p $
محاسبه:
$ p = T,\ q = F $
$ p \lor q = T \lor F = T $
$ p \land (p \lor q) = T \land T = T $
$ p = T $
پس:
$ T \equiv T $✅ درست
ت)
فرمول:$ (p \Rightarrow q) \equiv (\sim p \Rightarrow \sim q) $
محاسبه:
$ p = T,\ q = F $
$ p \Rightarrow q = T \Rightarrow F = F $
$ \sim p = F,\ \sim q = T $
$ \sim p \Rightarrow \sim q = F \Rightarrow T = T $
پس:
$ F \not\equiv T $❌ نادرست
ث)
فرمول:$ (p \land \sim q) \lor (p \Rightarrow q) \equiv T $
محاسبه:
$ p = T,\ q = F $
$ \sim q = T $
$ p \land \sim q = T \land T = T $
$ p \Rightarrow q = T \Rightarrow F = F $
$ (p \land \sim q) \lor (p \Rightarrow q) = T \lor F = T $
پس:
$ T \equiv T $✅ درست
نتیجه نهایی:
$4$ مورد از $5$ همارزی درست هستند.
پاسخ نهایی: $4$