1) если я работаю в школе И учусь в институте, то я люблю свою профессию (в школе подрабатываю дворником, а профессию будущую) Раскроем импликацию и скобки формулы (а и с)→в=^(а и с) v в=^а v ^c v в. Словами: "Я не работаю в школе или не учусь в институте или я люблю свою профессию" 2)из того, что я люблю свою профессию, следует, что я работаю в школе ИЛИ люблю свою профессию (по форме правильно, а по смыслу какая-то чепуховина.) Преобразуем исходную формулу: ...=^вvavв=аv1=1 -исходная формула всегда истина. То есть два отдельных, не связанных предложения, без всякого "если": Я работаю в школе. Я люблю свою профессию.
Это так называемое олимпиадное подключение библиотек, этот заголовок bits/stdc++ подключает сразу набор библиотек, почти всех которые необходимы их там штук под 100, почти весь STL + некоторые старые Си либы, это удобно на олимпиадном программировании, когда нету времени подключать библиотеки вручную, тк это тратит время, но если вам это не критично лучше подключать ручками, те которые нужны, а не тащить за собой мешок ненужных игрушек. Hу и конечно подключение стольких хедеров влечет за собой длительную первую компиляцию порядка 10-15 сек (зависит от ПК) последующие конечно быстрее будут, но нужно ли это вам? ну и конечно, код становится хуже переносимым, при использовании данного заголовка
(в школе подрабатываю дворником, а профессию будущую)
Раскроем импликацию и скобки формулы (а и с)→в=^(а и с) v в=^а v ^c v в. Словами: "Я не работаю в школе или не учусь в институте или я люблю свою профессию"
2)из того, что я люблю свою профессию, следует, что я работаю в школе ИЛИ люблю свою профессию (по форме правильно, а по смыслу какая-то чепуховина.)
Преобразуем исходную формулу: ...=^вvavв=аv1=1 -исходная формула всегда истина. То есть два отдельных, не связанных предложения, без всякого "если": Я работаю в школе. Я люблю свою профессию.