Uruchamia kod Pythona w przegladarce (Pyodide + Web Worker) i sprawdza wyjscie na podstawie testow. Bez serwera.
Dla wszystkich kombinacji wartości logicznych p i q (True/False) sprawdź poprawność praw:
1. Wyłączony środek: p OR (NOT p)
2. Niesprzeczność: NOT (p AND (NOT p))
3. Przemienność AND: p AND q vs q AND p
4. Przemienność OR: p OR q vs q OR p
5. De Morgana 1: NOT (p AND q) vs (NOT p) OR (NOT q)
6. De Morgana 2: NOT (p OR q) vs (NOT p) AND (NOT q)