- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
void __fastcall TForm1::Button1Click(TObject *Sender)
{
bool Valid = true;
bool f1;
bool f2;
unsigned step = 0;
for( bool x1=false; x1<2; x1++ )
for( bool x2=false; x2<2; x2++ )
for( bool x3=false; x3<2; x3++ )
for( bool x4=false; x4<2; x4++ )
for( bool x5=false; x5<2; x5++ )
for( bool x6=false; x6<2; x6++ )
for( bool x7=false; x7<2; x7++ )
for( bool x8=false; x8<2; x8++ )
for( bool x9=false; x9<2; x9++ )
for( bool x10=false; x10<2; x10++ )
for( bool x11=false; x11<2; x11++ )
for( bool x12=false; x12<2; x12++ )
for( bool x13=false; x13<2; x13++ )
for( bool x14=false; x14<2; x14++ )
for( bool x15=false; x15<2; x15++ )
{
step++;
f1 = ( x1 && x2 || x3 && x4 || x5 && x6 && x7 || x8 && x9 && x10 ) && ( !x11 || x12 && x13 || x14 && x15 );
f2 = (!(!x1 || !x2) || !(!x3 || !x4) || !(!x5 || !x6 || !x7) || !(!x8 || !x9 || !x10)) && ( !(!x14 || !x15) || !x11 || !(!x12 || !x13) );
if ( f1 != f2 ) Valid = false; break;
}
if( Valid ) Application->MessageBox( "Функции идентичны", "Функции идентичны", MB_OK );
else Application->MessageBox( "NOT Valid", IntToStr(step).c_str(), MB_OK );
}