2 задания на упрощение (подписывать номера законов и подчеркивать до применения, расписывать с столбик как показано): (На фото)

//Dev-C++ 4.9.9.2

#include <iostream>
#include <ctime>
using namespace std;

int main(){
    srand(time(NULL));
    int ma[5][10];
    int maxn=0;
    double s=0;
    double max=-2147483647;
    for(int i=0;i<10;i++)
     for(int j=0;j<5;j++)
      ma[i][j]=rand()%2;
    for(int j=0;j<5;j++){
     for(int i=0;i<10;i++)
      s=s+ma[i][j];
     if(s>max){max=s; maxn=j;}
     s=0;}
    cout<<"Matrix"<<endl;
    for(int i=0;i<10;i++){
     for(int j=0;j<5;j++)
      cout<<ma[i][j]<<" ";
     cout<<endl;}
    cout<<maxn+1;
    cin.get();
    cin.get();
  return 0;
    }

F = ¬X +Z⇒(X+¬Y)
таблица истинности:
X Y Z     X+¬Y   Z⇒(X+¬Y)    ¬X      F
0  0  0      1             1                1       1
0  0  1       1            1                1       1
0  1  0       0            1                1       1
0  1  1       0            0                1       1
1  0  0      1             1                0       1
1  0  1       1            1                0       1
1 1   0       1            1                0       1
1  1  1      1             1                0       1
F =1 тождественно истинна ,
 так как её значения равны 1 при любых X,Y,Z