...  ↑

б) M’1X'0 + M1Y’0 = Х’0Y’0
Эта формальная запись будет записана в классическую форму:
Все не-М суть Х
Все М суть Y

сущность и Х, и Y (0) перешла в вывод. Это значит, что у нас отрицательное суждение(сущность отсутствует) и знаки сохранились:
Х’0Y’0

Это можно записать как:
Ни один не-Х не есть не-Y

Из двух общих посылок получается ОТРИЦАТЕЛЬНОЕ суждение.
Зная только ПРАВИЛО 1, мы легко смогли сделать ввод и двойной общий и отирицательный.
Важен контроль СУЩНОСТЕЙ (Х и Y) и ЗНАКОВ (М)

в) M1X'0 + Y1M’0 = Y1X’0
Здесь вы уже легко переведете в классическую форму из вышенаписанной формальной записи)

сущность Х (0), сущность Y (1) перешла в вывод, знаки сохранены.
НО ЗДЕСЬ есть тонкость - прямой перенос дает такую формулу:
Х’0Y1

Но такого суждения НЕ СУЩЕСТВУЕТ, поэтому ставим Y на первое место и тогда у нас получается ФОРМАЛЬНАЯ ЗАПИСЬ ОБЩЕГО суждения:
Y1X’0
который звучит(помним, что обратный перевод из формальной записи меняет знак второго термина):
Все Y суть Х

Итого: Рассмотрев общие суждения и применяя ПРАВИЛО 1, мы легко сделали 3 разных вывода:
а) ДВОЙНОЙ ОБЩИЙ
б) ОТРИЦАТЕЛЬНЫЙ
в) ОБЩИЙ ( с перестановкой X и Y)