Помогите пожалуйста!
Задание: доказать равносильность
1) x∨(¬x&y)=x∨y
2) xy∨¬xy∨¬x¬y=x⇒y^1
3) x=(x&y&z)∨(x&y&¬z)∨(x&¬y&z)∨(x&¬y&¬z)
4) xy∨zt=(x∨z)(y∨z)(x∨t)(y∨t)