#include<iostream>
using namescacestd;
int main()
{
int size;
float sum=0;
cout<<"pls enter count your array"<<endl;
cin>>size;
float **arr = new float *[size];
for (int v = 0; v < size; v++)
arr[v] = new float[size];
cout<<"pls enter your array"<<endl;
for(int i=0;i<size;i++)
for(int j=0;j<size;j++)
{
cout<<"arr["<<i<<"]["<<j<<"] = ";
cin>>arr[i][j];
cout<<endl;
sum=sum+arr[i][j];
}
cout<<"Sum array = "<<sum<<endl;
free(array);
system("pause");
return 0;
}
Эквиваленция раскрывается как конъюнкция импликаций (A->B)^(B->A)
Импликация раскрывается, как (¬А v B)
Тогда раскрываем левую часть:
A<->B = (A->B)^(B->A)
Теперь раскрываем импликации:
(A->B)^(B->A) = (¬AvB)^(¬BvA).
Получается, что левая часть равна правой части.