Timeline for How to generate the truth table to prove logical equivalence?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 18, 2018 at 18:12 | answer | added | Conor Cosnett | timeline score: 3 | |
| Jan 13, 2014 at 20:51 | history | edited | István Zachar | CC BY-SA 3.0 |
added 29 characters in body; edited title
|
| Jan 13, 2014 at 20:45 | answer | added | István Zachar | timeline score: 4 | |
| Dec 20, 2013 at 2:36 | review | Low quality posts | |||
| Dec 20, 2013 at 7:36 | |||||
| Dec 20, 2013 at 2:33 | history | edited | Dr. belisarius |
edited tags; edited tags
|
|
| Dec 20, 2013 at 0:57 | comment | added | Daniel Lichtblau |
Alternatively, Reduce[Equivalent[Implies[p, q || r], Implies[p && Not[q], r]]]
|
|
| Dec 20, 2013 at 0:48 | comment | added | Dr. belisarius |
BooleanTable[Implies[p, q || r], {p, q, r}] == BooleanTable[Implies[p && Not[q], r], {p, q, r}]
|
|
| Dec 20, 2013 at 0:45 | review | Low quality posts | |||
| Dec 20, 2013 at 1:50 | |||||
| Dec 20, 2013 at 0:41 | history | edited | rola |
edited tags
|
|
| Dec 20, 2013 at 0:27 | history | asked | rola | CC BY-SA 3.0 |