Пишите коротка и ясно :) только по быстрее⇒

#include <iostream>
#include <stdio.h>
using namespace std;

int main(){
    int y;
    cin>>y;
    y=y%12;
    switch (y){
           case 4:{cout<<"Mouse"; break;}
           case 5:{cout<<"Bull";break;}
           case 6:{cout<<"Tiger";break;}
           case 7:{cout<<"Rabbit";break;}
           case 8:{cout<<"Dragon";break;}
           case 9:{cout<<"Snake";break;}
           case 10:{cout<<"Horse";break;}
           case 11:{cout<<"Goat";break;}
           case 0:{cout<<"Monkey";break;}
           case 1:{cout<<"Cock";break;}
           case 2:{cout<<"Dog";break;}
           case 3:{cout<<"Pig";break;}
           }
    cin.get();
    cin.get();
    return 0;
}

1.
дан фрагмент таблицы истиности выражения F
X Y Z F
1 1 0 1
1 0 1 0
0 0 1 1
какое выражение соответствует F
1) X ^ Y v Z — не подходит, 1 ^ 1 v 0 = 1 (1 строчка)
✔) (X v Y)-> ¬Z 
3) (¬X v Y) ^ Z — не подходит, (¬1 v 0) ^ 1 = 1 (2 строчка)
4) X->(¬YvZ) — не подходит, 1 -> (¬1 v 0) = 1 (1 строчка)

2. Дан фрагмент таблицы истинности выражения F
x1 x2 x3 x4 x5 x6 x7 F
1  1  0  1  1  1  1  0
1  0  1  0  1  1  0  1
0  1  0  1  1  0  1  0
Какое выражение соответствует F
✔) x1 ^ ¬x2 ^ x3 ^ ¬x4 ^ x5 ^ x6^ ¬x7
2) x1 v ¬x2 v x3 v ¬x4 v ¬x5 v x6 v ¬x7 — не подходит, в первом x1 = 1, 1 v ... = 1.
3) ¬x1 v x2 v ¬x3 v x4 v ¬x5 v ¬x6 v x7 — не подходит, в третьем x7 = 1, ... v 1 = 1.
4) ¬x1 ^ x2 ^ ¬x3 ^ x4 ^ x5 ^ ¬x6 ^ x7 — не подходит, для второго получается 0 ^ ... = 0.

3. Дан фрагмент таблицы истинности выражения F
x1 x2 x3 x4 x5 x6 x7 F
?  ?  ?  1  ?  0  ?  0
?  ?  ?  0  ?  ?  1  1
0  ?  ?  1  ?  ?  ?  0
где знак ? - пустые клетки
каким выражением может быть F?
✔) x1 ^ ¬x2 ^ ¬x3 ^ ¬x4 ^ x5 ^ x6 ^ x7
2) ¬x1 v x2 v x3 v ¬x4 v ¬x5 v ¬x6 v ¬x7 — в последнем x1 = 0, ¬0 v ... = 1.
3) x1 ^ x2 ^ ¬x3 ^ x4 ^ x5 ^ ¬x6 ^ x7 — во втором x4 = 0, ... ^ 0 ^ ... = 0. 
4) x1 v ¬x2 v ¬x3 v ¬x4 v ¬x5 v ¬x6 v ¬x7 — в первом x6 = 0, ... v ¬0 v ... = 1.