This is a utility for technical informatics. You can enter a formula such as - A and B and not C - and it shows you a table where you can see on which boolean combination of A, B and C the term is true.