- 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 );
}
Проверка идентичности логических функций путем перебора аргументов.
Follow us!
Когда такую сигнатуру видишь - содержимое обычно не удивляет
PS. Буквально давеча думал, кому может понадобиться библиотека boolstuff:)
вместо 15 переменных можно было завести ОДНУ 16-битную и использовать ОДИН цикл.
Или вытащить вычисление выражений в отдельные функции, и передать им значения отдельных битов как аргументы. Тогда запись подлиннее будет, но зато без лишних сущностей и промежуточных шагов.
(к примеру создать массив или написать функцию для получения бита по индексу)
а вот если у вас будет 128-разр число? 128 вложеных циклов?
вы китаец?
а если цикл на 15 итераций, то вы 15 раз пишете его содержимое?
если есть возможность решить задачу в 5 строк, а она решается в 20 - это
>>разумноe соотношениt результат/затраченные усилия.
ану-ка покажите решение в 0 строк :^)
кэп ваш код нерабочий
Фейлите, товарищъ.
Вы ursus?
У меня нормально, все правильно сделал!
Если ты не можешь решить эту задачу в уме, то иди гуляй.
мне бы просто было влом копипастить
и менять индексы у х-ов
Кстати копи-паста - это корень многих ошибок ибо провтыкать чего то легко а потом полчаса искать это.
>>быстрое (в смысле затраченных усилий) решение
ну я уже не знаю как объяснить, что приведенное выше решение таковым никак не является ибо что-то вроде
for( int x=0 x1<2^15; x1++ ){
f1 = ( getB(x,1) && getB(x,2) итд..
f1 = ( getB(x,1) || getB(x,2) итд..
if ( f1 != f2 ) Valid = false; break;
}
//не спорю - говнофункция, но это чисто для примеpa
bool getb(int i,int b){
return ((i & 2^(b-1))>0);
}
гораздо быстрее написать
b1 = step & 0001h
b2 = step & 0002h
b3 = step & 0004h
итд.
Один хуй.
>>можно преобразовать счетчик в массив из bool - короткая запись обращения к элементу и короткое преобразование.
>>к примеру создать массив или написать функцию для получения бита по индексу
Кэп поясняет что будет выглядеть так x[1], x[2] итд
или getBit(1) getBit(2) итд
>>b1 = step & 0001h
>>b2 = step & 0002h
это говноподход
За что?
"for ( bool var = false", надо будет запомнить, просто гениально!
Но в целом, вероятно, надо было:
for( bool x1=false; x1<=true; x1++ )
Хотя конечно инкремент булевых переменных и не рекомендуется стандартом. А вот декремент для bool вообще запрещен.
Говорю, почему это запретили в стандарте? Какие были-бы последствия, если бы не запретили?
Что если я попытаюсь декрементировать булевскую переменную? Получу ошибку компиляции? Что-то типа семантик еррор?
Надрочили "стандартов" на полторы тыщи листов и сами не знаете что для чего и зачем оно...
Чтобы как у Виннипуха: «если он есть, то его сразу нет». Два значения и баста. А то мое true, которое 2, труевее твоего, которое 1. В два раза труевее.
PS. Правда всегда одна, это сказал фараон. Так-то!
И не нужно жутких арифметических действий.
Зато мы теперь знаем, как получить чередующуюся последовательность false-true-false-...
Человек, придумавщий это, достоин уважения.
и де моргана пусть докажет
вдруг все что я знал -- не правда?!
И если можно то чуть по-больше чем 15, а то надо точно проверить
зы: я только сейчас задумался: а coq же это питух
Ты с дельфи/паскалем не перепутал?
и это не вижалси, это билдер борладновый судя по вот этим вот T