Czy zdanie jest tautologią lucyfer: Sprawdź czy zdanie : Trójkąt A jest podobny do trójkąta B lub do trójkąta C wtedy i tylko wtedy, gdy z tego, że A nie jest podobny do C wynika że, B nie jest podobny do C. jest tautologią.