…
..
Atomic_and_molecular_propositions.md
Boolean_algebra.md
Boolean_function_synthesis.md
Boolean_functions.md
Syntax_of_propositional_logic.md
Truth-functional_connectives.md
Truth-tables.md
Truth-trees.md