Извините, ничего не найдено.

alex-mad · 23.02.2006, 03:07

обозначения операцй не совсем стандартно...
багов не обнаружено

alcoSHoLiK · 23.02.2006, 21:26

Выбрал сохранить в файл 1.txt, а оно сохранило в 1.t

impersonalis · 23.02.2006, 22:59

Originally posted by alcoSHoLiK@23.2.2006, 20:26
Выбрал сохранить в файл 1.txt, а оно сохранило в 1.t

Quoted post

где-то переполнение идёт :'((

impersonalis · 24.02.2006, 21:38

upd 1.80

+Поиск фиктивных переменных (по таблице)
+Очистка кратчайшей С-формы от фиктивных переменных

-----------------------

Теперь о грустном ( возможно):
Т.к. BOOLka и не претендовала на лавры МатКада, то дальнейшая разработка её замораживается на неопределённый срок. Это последний upd.
Программу-минимум Булка выполняет.

impersonalis · 24.02.2006, 22:39

:'((
BOOLka v1.8.0 релиз

BOOLka v1.8.0

Основные возможности:

+построение таблицы значений (для функции, заданной формулой)
с возможностью сохранения её в файл
или вывода её на экран (для коротких таблиц)
+определение носителя (для функции, заданной формулой)
+определение антиносителя (для функции, заданной формулой)
+составление вектора функции (для функции, заданной формулой)
+составление СКНФ (для функции, заданной вектором)
+составление СДНФ (для функции, заданной вектором)
+поиск фиктивных переменных (для функции, заданной вектором)
+очистка кратчайшей СНФ-формы от фиктивных переменных

Поддерживаемые операторы:

отрицание
конъюнкция
дизъюнкция
импликация
эквиваленция
стрелка Пирса
штрих Шеффера
сложение по модулю 2

Поддерживаемы переменные:
буквы латинского алфавита от a до z

Константы:
1 - истина (true)
0 - ложь (false)

ВНИМАНИЕ: если вы решили "поиграться" и забабахали 20 и более переменных, то
за стабильность ОС в ближайшей время я не ручаюсь (особенно если ОЗУ у вас 256 мб).
Простой ребут вернёт всё на свои места, благо в проге реализовано сохранение формулы.

alex-mad · 25.02.2006, 03:06

последний релиз - вещь!

impersonalis · 25.02.2006, 03:26

Да, ну и вот ещё капельку докодил:

+очистка кратчайшей СНФ-формы от фиктивных переменных
если функция тождественно равна 1 или 0, то в окно будет передано TRUE или FLASE соответственно

финальный релиз за номером 1.8.1

alex-mad · 27.02.2006, 02:07

рулишь полюбЭ!

impersonalis · 03.03.2006, 01:14

Я вот тут тр... эмм любуюсь одной фунЕцией своей - вспоминается фраза одной известной песни:

все почти с ума свихнулись, даже - кто безумен был

Ужасная фунеция скажу я вам - 4 строки кода, провоцируют спонтанное переполнение ( больше некому). Забегая вперёд, спрошу - кому-нибудь ещё интересна тема этой тулзы?

impersonalis · 03.03.2006, 23:36

плохие новости: из-за утечки данных программа строит вектор функции неправильно.
Введите формулу типа:
q*w+(a+!a)*c+s
как видно 5 и 21 компоненты различны, в то время, как им соответствуют наборы:
acqsw
5=00101
21=10101
т.е. при подстановке в ф-лу получаем ИТСИНУ для обоих ключей [ что и будет проявляться для ключей с дельтой 2^(колво_переменных-1-индекс_переменной), так как переменная a явно фиктивная].
копаю перполнения.

impersonalis · 04.03.2006, 00:24

Хорошая новость:
нашёл и радавил жука, который главным (а вероятно и единственным) образом провоцировал фокусы с памятью. Рыдал над доской и рвал волосы - это ж надо : из массива не удалялись временные переменные!
Зато форточек о кривом обращении к памяти при попытке её очистить ( что было связано с выходом за пределы отведённых объемов) теперь нет (тьфу-тьфу-тьфу)

alex-mad · 04.03.2006, 01:42

чё исправил багу? тады давай релиз!

impersonalis · 04.03.2006, 01:44

Отлично - отладил неполадки.
Думаю над булевым кубом и прочей мутью.

impersonalis · 04.03.2006, 01:46

Originally posted by alex-mad@4.3.2006, 0:42
чё исправил багу? тады давай релиз!

Quoted post

Не время ещё. Переделываю с нуля ( интерфейс и главный файл), правлю либы.
Сейчас прога - страшная как ядерная война

alex-mad · 04.03.2006, 01:51

ясно... будем ждать...
а то хотел ужо говорить, что бы надо добавить (я имею ввиду о возможных неизвестных данных)