koreandude555 49d3499765 Fixed formatting (#23928)		2018-12-11 17:41:08 -05:00
..
algebra-of-logic	Update index.md (#24166)	2018-12-07 04:27:20 -05:00
conditional-and-biconditional-statements	Added how to prove statements	2018-11-12 19:14:11 +09:00
dining-philosophers-problem	…
knights-and-knaves	…
logical-operators	Fixed typo (#32327)	2018-11-14 17:06:09 +05:30
mobsters-riddle	…
monty-hall-problem	Fixed some grammatical errors (#23674)	2018-11-17 15:40:42 +05:30
normal-forms	…
satisfiability	…
tautologies	Added definition about contradiction (#30310)	2018-11-23 17:37:41 -08:00
truth-tables	…
index.md	Fixed formatting (#23928)	2018-12-11 17:41:08 -05:00