$P \\land (Q \\lor R) \\equiv (P \\land Q) \\lor (P \\land R)$

$P \\lor \\neg P \\equiv True$

$\\neg(P \\land Q) \\equiv \\neg P \\lor \\neg Q$

$P \\lor (P \\land Q) \\equiv P$