Corrected typos and updated readme file(s) with the new features

Author: Cubix1729

README.md

@@ -12,8 +12,9 @@ The library allows to work with classical propositional logic formulae.
 The main features include:
 
  - The construction of logical formulae either directly or from a string
+ - The visualisation of truth tables
  - The implementation of semantic notions: satisfiability, entailment...
- - The conversion to normal forms (NNF, DNF, DNF)
+ - The conversion to normal forms (NNF, CNF, or DNF)
  - Automated theorem proving with the resolution procedure
 
 For the complete documentation, see [https://cubix1729.github.io/logicalpy/](https://cubix1729.github.io/logicalpy/).
@@ -32,6 +33,10 @@ Note that the library needs a Python version higher than 3.9.
 If you want to contribute to this (small) project, you can [open an issue](https://github.com/Cubix1729/logicalpy/issues)
 to report a bug or request a feature, or [make a pull request](https://github.com/Cubix1729/logicalpy/pulls).
 
+## Tests
+
+To run the the tests, clone the repository, go into the `tests` directory and run `python -m unittest`.
+
 ## License
 
 This project is licensed under the MIT license.

docs/index.md

@@ -12,8 +12,9 @@ The library allows to work with classical propositional logic formulae.
 The main features include:
 
  - The construction of logical formulae either directly or from a string
+ - The visualisation of truth tables
  - The implementation of semantic notions: satisfiability, entailment...
- - The conversion to normal forms (NNF, DNF, DNF)
+ - The conversion to normal forms (NNF, CNF, or DNF)
  - Automated theorem proving with the resolution procedure
 
 ## Installation
@@ -36,6 +37,10 @@ For a complete project reference, see the [API Reference](api-reference/logicalp
 If you want to contribute to this (small) project, you can [open an issue](https://github.com/Cubix1729/logicalpy/issues)
 to report a bug or request a feature, or [make a pull request](https://github.com/Cubix1729/logicalpy/pulls).
 
+## Tests
+
+To run the the tests, clone the repository, go into the `tests` directory and run `python -m unittest`.
+
 ## License
 
 This project is licensed under the MIT license.

docs/usage/semantic-functions.md

@@ -6,15 +6,15 @@ Semantics functions are contained in the [`semantics`](../api-reference/logicalp
 
 Truth tables can be built using the `TruthTable` class. Then, the string representation of the truth table
 can be found with the `to_str` method (or directly with the `str` built-in constructor).
-You can use `to_latex()` or `to_markdown()` to render the truth table to LaTex or Markdown.
+You can also use the `to_latex()` or `to_markdown()` methods to render the truth table to LaTex or Markdown.
 
 Example:
 
 ```python
 >>> from logicalpy import Formula
 >>> from logicalpy.semantics import TruthTable
->>> formula = Formula.from_string("P v (~Q & ~P)")
->>> truth_table = TruthTable(test_formula)
+>>> fml = Formula.from_string("P v (~Q & ~P)")
+>>> truth_table = TruthTable(fml)
 >>> print(truth_table)
 P    Q    P ∨ (¬Q ∧ ¬P)
 ---  ---  ---------------