Тождественно истинная формула