Условие:
Запишите сложное (молекулярное) суждение «Посевная пройдет успешно, если и только если вовремя будут отремонтированы сельскохозяйственные машины» в символической форме, используя язык пропозициональной логики.

Запишите сложное (молекулярное) суждение «Посевная пройдет успешно, если и только если вовремя будут отремонтированы сельскохозяйственные машины» в символической форме, используя язык пропозициональной логики.
Для записи сложного суждения в символической форме, сначала определим пропозиции: