Спростых суждений: а) «я работаю в школе»; в) «я люблю свою профессию»; с) «я учусь в институте». составьте высказывания, соответствующие следующим формулам: 1) (a /\ c) → в 2) в → (а \/ в)

1) если я работаю в школе И учусь в институте, то я люблю свою профессию
(в школе подрабатываю дворником, а профессию будущую)
Раскроем импликацию и скобки формулы (а и с)→в=^(а и с) v в=^а v ^c v в. Словами: "Я не работаю в школе или не учусь в институте или я люблю свою профессию"
2)из того, что я люблю свою профессию, следует, что я работаю в школе ИЛИ люблю свою профессию (по форме правильно, а по смыслу какая-то чепуховина.)
Преобразуем исходную формулу: ...=^вvavв=аv1=1 -исходная формула всегда истина. То есть два отдельных, не связанных предложения, без всякого "если": Я работаю в школе. Я люблю свою профессию.

#include <iostream>
#include <sstream>
#include <fstream>
#include <string>
#include <vector>
#include <deque>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <algorithm>
#include <functional>
#include <cstring>
#include <utility>
#include <bitset>
#include <cmath>
#include <cstdlib>
#include <ctime>
#include <cstdio>
#include <climits>typedef unsigned long long ulol;
typedef long long lol;
typedef long int  li;#define mp          make_pair
#define F           first
#define S           second
#define sqr(a)      ( (a) * (a) )
#define pb          push_back
#define INF         999999999
#define ret(a)      cout << endl; system("pause"); return(a)
//#define ret(a)      return(a)using namespace std;int main()
{
    string s, ans;
    cin >> s;
    for(int i = 0 ; i < s.size() ; i ++)
        if( s[i] != '1' )
            ans.pb( s[i] );
    cout << ans;
    ret(0);
}

#include <iostream>
#include <sstream>
#include <fstream>
#include <string>
#include <vector>
#include <deque>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <algorithm>
#include <functional>
#include <cstring>
#include <utility>
#include <bitset>
#include <cmath>
#include <cstdlib>
#include <ctime>
#include <cstdio>
#include <climits>typedef unsigned long long ulol;
typedef long long lol;
typedef long int  li;#define mp          make_pair
#define F           first
#define S           second
#define sqr(a)      ( (a) * (a) )
#define pb          push_back
#define INF         999999999
#define ret(a)      cout << endl; system("pause"); return(a)
//#define ret(a)      return(a)using namespace std;int main()
{
    lol n;
    cin >> n;
    vector<lol> ar(n);
    for(int i = 0 ; i < n ; i ++)
        cin >> ar[i];
    for(int i = 0 ; i < n ; i += 3)
        cout << i+1 << '-' << i+3 << ": " << ar[i]+ar[i+1]+ar[i+2] << endl;
    ret(0);
}