2 ms·Indeed. Famously, though, figuring out if something is a tautology is undecidable!by xelxebar 1y agoIndeed. Famously, though, figuring out if something is a tautology is undecidable!