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

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

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

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