Discover published sets by community

$p \leftrightarrow q \equiv (p \rightarrow q) \land (q \rightarrow p)$

$\neg (\neg p) \equiv p$

$p \lor \neg p \equiv T$ and $p \land \neg p \equiv F$

$p \land T \equiv p$ and $p \lor F \equiv p$

$p \lor T \equiv T$ and $p \land F \equiv F$

$p \land p \equiv p$ and $p \lor p \equiv p$

$\neg (p \land q) \equiv \neg p \lor \neg q$ and $\neg (p \lor q) \equiv \neg p \land \neg q$

$p \rightarrow q \equiv \neg p \lor q$

$p \land q \equiv q \land p$ and $p \lor q \equiv q \lor p$

$(p \land q) \land r \equiv p \land (q \land r)$ and $(p \lor q) \lor r \equiv p \lor (q \lor r)$

$p \land (q \lor r) \equiv (p \land q) \lor (p \land r)$ and $p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)$