ЗАДАНИЕ 1. ФОРМАЛИЗАЦИЯ ВЫСКАЗЫВАНИЙ 1. Формализовать высказывания с логических переменных и
символов логических операций.
1) Если защитить все лабораторные работы и написать контрольный тест,
то можно набрать а это означает возможность получить «автомат».
2) Если защищать лабораторную работу без отчета или не написать
контрольный тест, то теряется возможность получить «автомат».
3) Если пропустить лекцию и не написать реферат, то из рейтинга
вычитаются а значит, в итоге можно не дотянуть до «автомата».
4) Если при защите лабораторных блеснуть дополнительными знаниями,
то можно заработать дополнительно а следовательно повысить
семестровый рейтинг и может быть заработать «автомат».
5) Если пропускать занятия или вовремя не отрабатывать пропуски, то к
концу семестра можно «утонуть» в долгах и не выйти на сессию
Паша имеет выйгрушную стратегию и сможет выйграть за один ход, если s=27 тогда ему достаточно добавить один камень чтобы игра закончилась при 28 камнях в куче или если s=14,15,16,17,18,19,20,21,22(44/2 и 28/2 т.е от 14 до 22), тогда не обходимо удвоить количество камней в куче.
Объяснение:
Паша имеет выйгрушную стратегию и сможет выйграть за один ход, если s=27 тогда ему достаточно добавить один камень чтобы игра закончилась при 28 камнях в куче или если s=14,15,16,17,18,19,20,21,22(44/2 и 28/2 т.е от 14 до 22), тогда не обходимо удвоить количество камней в куче.
С++20
#include <iostream>#include <vector>class Point {public: int x, y; Point() = default; Point(const Point &) = default; Point(int _x, int _y) : x(_x), y(_y) {} Point operator + (const Point& p) const { return Point {x + p.x, y + p.y}; } Point operator - (const Point& p) const { return Point {x - p.x, y - p.y}; } std::vector<Point> operator & (const Point& p) const { return std::vector<Point> { Point {x + p.x, y + p.y}, Point {x - p.x, y + p.y}, Point {x + p.x, y - p.y}, Point {x - p.x, y - p.y}, Point {x + p.y, y + p.x}, Point {x - p.y, y + p.x}, Point {x + p.y, y - p.x}, Point {x - p.y, y - p.x}, }; } static Point max (const Point& p1, const Point& p2) { return Point {std::max(p1.x, p2.x), std::max(p1.y, p2.y)}; } static Point min (const Point& p1, const Point& p2) { return Point {std::min(p1.x, p2.x), std::min(p1.y, p2.y)}; } [[nodiscard]] int distance_to_by_ch (const Point & p) const { return std::max(std::abs(p.x - x), std::abs(p.y - y)); } [[nodiscard]] int distance_to_by_m (const Point & p) const { return std::abs(p.x - x) + std::abs(p.y - y); } friend std::ostream &operator << (std::ostream &os, Point const &p) { return os << "(" << p.x << ";" << p.y << ")"; } Point & operator = (const Point &) = default; bool operator == (const Point & p) const { return x == p.x && y == p.y; }};class Horse {public: const Point p; explicit Horse (const Point position) : p(position) { } [[nodiscard]] bool can_I_kill_this_guy (const Point & m) const { auto field = p & Point{2, 3}; return std::find(field.begin(), field.end(), m) != field.end(); }};std::istream &to_number(std::istream &stream) { char ch; do { ch = stream.get(); } while (!isalpha(ch)); if (isupper(ch)) ch -= 16; else ch -= 48; stream.putback(ch); return stream;}int main () { Point horse_p{}, stranger_p{}; std::cin >> horse_p.x >> to_number >> horse_p.y; std::cin >> stranger_p.x >> to_number >> stranger_p.y; Horse jack(horse_p); std::cout << "I am a Horse placed on " << jack.p << ". " << "Can I kill those guy on " << stranger_p << "? " << "-> " << std::boolalpha << jack.can_I_kill_this_guy(stranger_p); }