The Truth Table Builder is now part of Logic Lab.