Сколько существует различных наборов значений логических переменных x1, x2, ... x8, которые удовлетворяют всем перечисленным ниже условиям: ¬(x1 ≡x2)∨(x3 →x4)=1;
¬(x3 →x4)∨(x5 →x6)=1;
Пример: из тройки чисел 11, 13, 12 можно составить требуемую прогрессию, а из тройки 10, 10, 10 – нет.
В ответе запишите только число – количество найденных троек, соответствующих условию задания.
¬(x5 →x6)∨(x7 ≡x8)=1?
В ответе не нужно перечислять все различные наборы значений переменных
Для Вашего удобства электронная таблица представлена в четырёх форматах (файлы 11-2.xls, 11-2.xlsx, 11-2.ods, 11-2.csv). Для выполнения работы выберите формат, соответствующий изученному Вами процессору электронных таблиц.
x1, x2, ... x8, при которых выполнена данная система

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

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

}

program mtr1;

const N=10;

type iint:1..10;

       matrix: array [iint,iint] of integer;

var a: matrix;

     i,j: iint;

     m:iint;

    v:integer;

begin

       readln (m);

      randomize;

      (* заполнение матрицы *)

      for i:=1 to m do

     for j:=1 to m do

    a[i,j] := random(21)-10;

    for i:=1 to m do

    for j:=i to m do

    begin

            if i=j then

               continue;

     v:= a[i,j];

      a[i,j] := a[j,i];

      a[j,i] := v;

     end;

     for i:=1 m do

     begin

     for j:=1 to m do

     write(a[i,j],'  ');

     writeln;

     end;

end.

Объяснение: