Условие:
Выразите в символической форме структуру рассуждения и табличным способом установите его правильность (является ли оно логическим законом).
Если и только если статья будет сокращена, она будет напечатана, из чего следует: либо статья не будет сокращена и не будет напечатана, либо в статью будут внесены сокращения, и она пойдет в печать.
