本题主要考查简单逻辑联结词和线性规划。

根据题中的不等式组可作出可行域，如图所示，

记直线：，：，

由图可知，，，，，

所以为真命题，为假命题，

所以为假命题，为真命题，

所以为真命题，为假命题，为真命题，为假命题，

所以所有真命题的编号是①③。

故本题正确答案为A。