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

fix(guide): simplify directory structure

2018-10-16 21:32:40 +05:30

knights-and-knaves

fix(guide): simplify directory structure

2018-10-16 21:32:40 +05:30

logical-operators

Fixed typo (#32327)

2018-11-14 17:06:09 +05:30

mobsters-riddle

fix(guide): simplify directory structure

2018-10-16 21:32:40 +05:30

monty-hall-problem

Fixed some grammatical errors (#23674)

2018-11-17 15:40:42 +05:30

normal-forms

fix(guide): simplify directory structure

2018-10-16 21:32:40 +05:30

satisfiability

fix(guide): simplify directory structure

2018-10-16 21:32:40 +05:30

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