Законы алгебры логики 649 Алгебра логики нормальная форма логической формулы примеры