Ich vermute mal Induktion über die Länge solcher Ausdrücke.
Für die kürzesten, die es gibt, kann man das sicher zeigen A ^ A , A ^ B etc.
wenn man dann annimmt, das es für alle Ausdrücke bis zu einer gewissen Länge n gilt,
muss man halt zeigen, dass der nächstlängere Ausdruck auch keine Taut. sein kann.