Логика высказываний: о железнодорожном стрелочном переводе; о бортовом компьютере яхты.

Включены задачи, решаемые с использованием аппарата логики высказываний: 1) задача о железнодорожном стрелочном переводе; 2) задача о бортовом компьютере яхты. Приведено подробное решение указанных задач. см. ещё текстовые материалы на Дзен: https://dzen.ru/independent_work см. ещё ссылка на Ютуб: https://youtube.com/channel/UCLvLhIS3tQNDMRdfwr1cWBA?si=ifBJ8bmTTO8UqGKv