Suresh Mangs 85412ef12a Making index.md more informative (#24188) ...

* Making index.md more informative

* Update index.md

2019-03-20 12:05:41 -04: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 spelling and grammar issues (#32678)

2019-02-13 20:57:26 -07:00

mobsters-riddle

…

monty-hall-problem

Fixed some grammatical errors (#23674)

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

normal-forms

…

satisfiability

Making index.md more informative (#24188)

2019-03-20 12:05:41 -04:00

tautologies

Added definition about contradiction (#30310)

2018-11-23 17:37:41 -08:00

truth-tables

Change the statement for OR operator (#23968)

2018-12-19 02:06:44 -05:00

index.md

Fixed formatting (#23928)

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