Составить таблицы истинности для следующего выражения:

#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;
}

несложная динамика)

#include <iostream>

#include <vector>

#include <map>

#include <cmath>

#include <queue>

#include <set>

using namespace std;

#define int long long

const int MAXN = 100,MAXK = 100;

int d[MAXN], d0[MAXN];

void solve(int n, int k)

{

   d[1] = k-1;

   d0[0] = 0;

   for(int i = 2; i <= n; i++)

   {

       d[i] = (d[i-1]+d0[i-1])*(k-1);

       d0[i] = d[i-1];

   }

   cout << d[n] + d0[n];

}

signed main() {

   ios_base::sync_with_stdio(0);

   cin.tie(0);

   cout.tie(0);

   int n,k;

   cin >> n >> k;

   solve(n,k);

}