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