Информатика: Пожалуйста помогите, как это решать максимально подробно (хочу научиться)

Решите задачу:

$\displaystyle 1. \ a \lor\lnot(\lnot c\lor b)=a+\overline{\overline c+b}=a+c\overline b \\ \\ 2. \ a \lor\lnot c\lor b=a+\overline c+b \\ \\ 3. \ a \lor\lnot(c\lor\lnot b)=a+\overline{c+\overline b}=a+b\overline c \\ \\ 4. \ \lnot a \lor \lnot c \lor b=\overline a+\overline c+b$