A question about the mapping between boolean formulas and boolean functions

1

Hi,
Is the mapping between boolean formulas and boolean functions a bijection?

Thanks!

2

No. All tautologies map to a constant function.