/sci/ - Science & Math

>that guy that restates what the professor just said instead of asking a question

>>8918256
>>8918261
[math]p\leftrightarrow q = p\rightarrow q \wedge p\leftarrow q [/math]
[math]\qquad \quad = (\neg p \vee q)\wedge(p\vee\neg q) [/math]
[math]\qquad \quad = (p \wedge \neg p) \vee (\neg p \wedge \neg q) \vee (p \wedge q) \vee (\neg q \wedge q)[/math]
[math]\qquad \quad = (p \wedge q) \vee (\neg p \wedge \neg q)[/math]