forum.boolean.name

forum.boolean.name (http://forum.boolean.name/index.php)

- Проекты C++ (http://forum.boolean.name/forumdisplay.php?f=56)

- - Boolka (http://forum.boolean.name/showthread.php?t=682)

Цитата:

Сообщение от ZanoZa

Мега аццкая тулза! :super:
Жаль что интерес к разработке потерян

О-о-о :@
Такие отзывы приятно читать B)
Да в принципе, всё что нам (мне и одногруппникам) требовалось прога считала :) и что не маловажно - правильно

impersonalis
если бы не правильно ...
то как говорится "за такие шутки в зубах бывают промежутки"
:lol:

хотя еще не понятно .. у программера или у злых студентов :)

Версия 2.0.1 одним архивом для удобства

Цитата:

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

+определение носителя (для функции, заданной формулой)
+определение антиносителя (для функции, заданной формулой)
+составление вектора функции (для функции, заданной формулой)
+составление СКНФ (для функции, заданной вектором)
+составление СДНФ (для функции, заданной вектором)
+поиск фиктивных переменных (для функции, заданной вектором)

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

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

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

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

Цитата:

+определение носителя (для функции, заданной формулой)
+определение антиносителя (для функции, заданной формулой)

Все равно вектор требуется, чтобы получить носитель и антиносиель.