Evaluate whether an expression is tautology or not

648 Views Asked by At

I am looking for an algorithm to find whether an expression is a tautology or not ? I tried using truth table (brute force) but this is not feasible in my case.

1

There are 1 best solutions below

0
On BEST ANSWER

A formula is a tautology if and only if its negation is satisfiable. Satisfiability is an NP-hard problem, but there are many solvers that do better than brute force.