Son asimismo tautologías de funciones de verdad.