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