Алгебра логики. Логические законы.