1. Wypisać listę wartościowań dla danej liczby zmiennych.
2. Sprawdzić, czy formuła jest tautologią rachunku zdań (metodą zero-jedynkową).
3. Wyeliminować z formuły symbole równoważności i implikacji.
4. Wyeliminować z formuły symbole negacji (z wyjątkiem negacji pojedynczych zmiennych).
5. Sprowadzić formułę zawierającą wyłącznie znaki alternatywy i koniunkcji oraz negacje pojedynczych zmiennych do KPN.
6. Sprowadzić formułę zawierającą wyłącznie znaki alternatywy i koniunkcji oraz negacje pojedynczych zmiennych do APN.
7. Sprowadzić formułę do postaci normalnej metodą zero-jedynkową.
8. Usunąć zbędne nawiasy z danej formuły.
9. Przekonwertować formułę z notacji prefiksowej do postfiksowej.
10. Przekonwertować formułę z notacji postiksowej do prefiksowej.
11. Przekonwertować formułę z notacji prefiksowej do infiksowej.
12. Przekonwertować formułę z notacji infiksowej do prefiksowej.
13. Przekonwertować formułę z notacji postfiksowej do infiksowej.
14. Przekonwertować formułę z notacji infiksowej do postfiksowej.
15. Sprawdzić, czy napis jest poprawną formułą rachunku predykatów.
16. Wyeliminować z formuły symbole negacji poprzedzające kwantyfikatory.
17. Wypisać wszystkie zmienne wolne występujące w danej formule rachunku predykatów.