Какая из данных логических формул является тождественно истинной?
1) А ^ (А→В)
2) А→ (А ^ В)
3) (А → В) V А
4) А V В → А