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

Added NAND (#20930)

2018-11-03 19:20:41 -07:00

index.md

Fixed formatting (#23928)

2018-12-11 17:41:08 -05:00