Пара задачек по исчислению высказываний...

[BapuK]

Доказать используя аксиомы как на википедии[url]http://ru.wikipedia.org/wiki/Исчисление_высказываний[/url]
1. $\varphi \wedge (\psi \vee \chi) \vdash (\varphi \wedge \psi) \vee (\varphi \wedge \chi)$
2. $(\varphi \vee \psi) \wedge (\varphi \vee \chi) \vdash \varphi \vee (\psi \wedge \chi)$
Понятно, что это законы дистрибутивности в одну из сторон, понятно, что в первом задании легко получить $\varphi$ и $\psi \vee \chi$, а во втором $\varphi \vee \psi$ и $\varphi \vee \chi$, но не понятно нужно ли их получать вообще... натолкните на аксиомку(с заменой), которую нужно использовать

[BapuK]

с первым разобрался после долгих мучений
сижу думаю второе уже дня пол и что-то ничего в голову не приходит :(