О сложности пропозициональных логикстатья