Behold, another great product from BazingaTeam! This application can solve all your predicate logic problems, of any complexity. Conjunction, disjunction, implication and equivalency operations are supported, and with up to 5 different variables. Ideal for engineers, students, high-schoolers and anyone other.

Click below to download