Законы логики формулы Законы алгебры логики информатика примеры