Bezpłatna aplikacja dla systemu Android, autorstwa Andrew R. R..
To narzędzie służące do rozwiązywania zdań logicznych w postaci drzewa binarnego za pomocą tabeli prawdy. Jest ono używane do rozwiązywania problemów w logice matematycznej w różnych przypadkach.
Program składa się z kalkulatora logicznego, który umożliwia tworzenie tabeli prawdy dla dowolnego zdania. Tabela prawdy dostarcza wyniku operacji zdaniowej, służy do określenia wartości logicznej złożonych propozycji i może być używana do rozwiązywania różnych problemów logicznych.
Program umożliwia uzyskanie logiki dowolnego zdania za pomocą drzewa binarnego. Drzewo to jest tworzone przez połączenie każdej pary pojęć, które muszą być połączone za pomocą wspólnego symbolu łącznika.
