http://www.mapleprimes.com/questions/43197-Tautologies en-us 2026 Maplesoft, A Division of Waterloo Maple Inc. Maplesoft Document System Wed, 10 Jun 2026 21:35:01 GMT Wed, 10 Jun 2026 21:35:01 GMT The latest answers and comments added to the Question, Tautologies http://www.mapleprimes.com/images/mapleprimeswhite.jpg http://www.mapleprimes.com/questions/43197-Tautologies http://www.mapleprimes.com/questions/43197-Tautologies?ref=Feed:MaplePrimes:Tautologies:Comments#answer80198 Maple 9.5 introduced a new package called Logic. Its Tautology command should be the one you're looking for. See ?Tautology for more information. Maple 9.5 introduced a new package called Logic. Its Tautology command should be the one you're looking for. See ?Tautology for more information. 80198 Mon, 06 Feb 2006 19:07:59 Z Thomas Richard Thomas Richard