考点记录

逻辑表达式

1. \(p \rightarrow q \equiv \neg p \lor q\)
2. Think reason:

   \[ (p \land \neg r) \lor (q \land \neg r) \lor p \\ \Leftrightarrow p \lor(q \land \neg r)\]

---

Last update: 2024年1月14日 23:33:41
Created: 2024年1月14日 23:33:41