⭐ Write a documentation for features 1-4

[0xGeorgii]

1. Validate a formula
2. Verbose a formula
3. Decompose a formula to the calculation list
4. Calculate a formula in tableaux method
5. Verbose tableaux method output

• Wiki Ft1
• Wiki Ft2
• Wiki Ft3
• Wiki Ft4
• Wiki Ft5
• Blog on https://georgeplotnikov.com