AnallogicA ist eine Anwendung, die Logiktabellen anhand von logischen Formeln generiert. Es ist möglich, auf inverse Äquivalenz oder logische Werte zu vergleichen. Die Ergebnisse können in Textdateien, im CSV-Format und in einem internen Format gespeichert werden. Das Programm unterstützt bis zu 15 Variablen. Es zeigt auf Wunsch die ausgeführten Ersetzungen Schritt für Schritt in der Analyse. (non)