Bir Android uygulaması, Andrew R. R. tarafından ücretsiz olarak sunulmaktadır.
Bu, doğru tablo aracılığıyla ikili ağaç formundaki mantıksal cümlelerin çözümü için bir araçtır. Matematiksel mantık problemlerini çözmek için çeşitli durumlarda kullanılır.
Program, herhangi bir cümle için doğru tablo oluşturmanıza izin veren bir mantıksal hesap makinesinden oluşur. Doğru tablo, önerme işleminin sonucunu size sağlar, bileşik önermelerin mantıksal değerini belirlemek için kullanılır ve farklı mantıksal problemleri çözmek için kullanılabilir.
Program, herhangi bir cümlenin mantığını ikili ağaç yoluyla elde etmenize izin verir. Ağaç, ortak bir bağlayıcı sembol aracılığıyla bağlanması gereken her çift kavramı birbirine bağlayarak oluşturulur.
