Podsumowanie wyniku
Jak obliczono
Tabela prawdy
Postacie kanoniczne / Uproszczone SOP
Najczęstsze pytania
Z jakich operatorów mogę korzystać?
Użyj ! lub ~ dla NOT, & lub ∧ dla AND, ^ dla XOR, | lub ∨ dla OR, -> dla implikacji, <-> dla równoważności oraz stałych 0, 1, T, F.
Jak narzędzie wybiera między metodą Karnaugha a Quine’a–McCluskeya?
Do czterech zmiennych narzędzie grupuje mintermy tak jak mapa Karnaugha. Dla pięciu lub sześciu zmiennych przełącza się na Quine’a–McCluskeya z wyborem Petricka. Powyżej sześciu wraca do kanonicznego DNF.