Построение таблицы истинности

@BaktybekovK · Регистрация: 18.04.2015

Author24 — интернет-сервис помощи студентам

Здравствуйте.
Задание такое:
Построить таблицу истинности булевой функции. Функция вводится пользователем.
Это часть программы.
BoofStrOpnd - строка из логических переменных (без знаков)
VarNum - Кол-во переменных

C++

switch (VarNum)
    { 
        case 4:
            
                 cout<<"+---------------+\n"
                     <<"| "<<BoofStrOpnd[0]<<" | "<<BoofStrOpnd[1]<<" | "<<BoofStrOpnd[2]<<" | "<<BoofStrOpnd[3]<<" |\n"
                     <<"|_______________|\n";
                 for(int i = 0; i < pow(2,VarNum); i++)
                {
                arr[VarNum-1] =  i          & 0xF1;
                    arr[VarNum-2] = (i >> 1) & 0xF1;
                    arr[VarNum-3] = (i >> 2) & 0xF1;
                    arr[VarNum-4] = (i >> 3) & 0xF1;
                    cout<<"| "<<arr[VarNum-4]<<" | "<<arr[VarNum-3]<<" | "<<arr[VarNum-2]<<" | "<<arr[VarNum-1]<<" |"<<endl;
                }   
                cout<<"+---------------+\n"; 
                break;
        case 3:
                 cout<<"+-----------+\n"
                     <<"| "<<BoofStrOpnd[0]<<" | "<<BoofStrOpnd[1]<<" | "<<BoofStrOpnd[2]<<" |\n"
                     <<"|___________|\n";
                 for(int i = 0; i < pow(2,VarNum); i++)
                {
                    arr[VarNum-1] = i        & 0xF1;
                    arr[VarNum-2] = (i >> 1) & 0xF1;
                    arr[VarNum-3] = (i >> 2) & 0xF1;
                    cout<<"| "<<arr[VarNum-3]<<" | "<<arr[VarNum-2]<<" | "<<arr[VarNum-1]<<" | "<<endl;
                }   
                 cout<<"+-----------+\n"; 
                 break;
    }

Вопрос такой. Почему для 4х переменных булевой функции программа, построив и заполнив таблицу, завершает программу из-за ошибки. А вот для 3х всё нормально. Ошибка думаю в switch'е, так как протестировав вне него программа работает. Помогите пожалуйста!!!

radzko · 18.04.2015, 18:44

Здравствуйте.

Как Вы объявляете массив arr ?

@nmcf · 18.04.2015, 18:45

arr как объявлен?

@Kerry_Jr · 18.04.2015, 20:44

BaktybekovK, немного не относится к решению проблемы, но я бы еще на Вашем месте повторяющиеся части вынес за switch.

@BaktybekovK · 18.04.2015, 20:49 **[ТС]**

arr объявлен как bool. Да, но вынести нечего

radzko · 18.04.2015, 20:55

BaktybekovK, покажите строчку кода, где объявляется arr

@BaktybekovK · 19.04.2015, 15:22 **[ТС]**

C++

1	bool arr[VarNum],y; // Массив для таблицы истинности, VarNum - кол-во переменных, у - булеан

radzko · 19.04.2015, 18:51

BaktybekovK, вроде, всё хорошо. Возможно, Вы не правильно выделили память под BoofStrOpnd. Почему бы Вам не поделиться с нами всем кодом, в частности, меня теперь интересует массив BoofStrOpnd. Возможно, Вы выделили память под 3 элемента, а пытаетесь обратиться к четвертому.

@BaktybekovK · 19.04.2015, 19:10 **[ТС]**

Не до конца. Код немного примитивен. Что-то заполнил методом "вручную".
В коде исключено(пока что), что пользователь введёт неверную функцию, или специально протестирует программу на ошибку.

C++

#include <iostream>
#include <cstring>
#include <cctype>
#include <cmath>
using namespace std;
const int N = 15;
int Multyp(int a, int b);
void BoolVar4(void);
void BoolVar5(void);
int VarNum, n;
string BoofStrOpnd,s;
int main()
{
    
    setlocale(LC_ALL, "Russian");
    int OprtNum;
    char ch,LogOprt[N]; 
    bool arr[VarNum],y;
    cout<<"\tвведи функцию\n";;
    cin>>LogOprt;
    cout<<"\n\Ваша функция - y = "<<LogOprt<<endl;
    BoofStrOpnd="";
    for (int i = 0; i < strlen(LogOprt); i++)
    {
        if (isalpha(LogOprt[i])) 
        {
            BoofStrOpnd += LogOprt[i];
            VarNum++;
        }
    }
    for (int i = 0; i < strlen(LogOprt); i++)
    {
        if (!isalpha(LogOprt[i])) 
        {
            BoofStrOprt += LogOprt[i];
            OprtNum++;
        }
    }
    cout<<endl<<endl<<endl;
    switch (VarNum)
    { 
        case 5: 
                BoolVar5();
                break;
        case 4:
                BoolVar4();         
                break;
            
        case 3:
                 cout<<"+-----------+\n"
                     <<"| "<<BoofStrOpnd[0]<<" | "<<BoofStrOpnd[1]<<" | "<<BoofStrOpnd[2]<<" |\n"
                     <<"|___________|\n";
                 for(int i = 0; i < pow(2,VarNum); i++)
                {
                    arr[VarNum-1] = i        & 0xF1;
                    arr[VarNum-2] = (i >> 1) & 0xF1;
                    arr[VarNum-3] = (i >> 2) & 0xF1;
                    cout<<"| "<<arr[VarNum-3]<<" | "<<arr[VarNum-2]<<" | "<<arr[VarNum-1]<<" | "<<endl;
                }   
                 cout<<"+-----------+\n"; 
                 break; 
        case 2:
                cout<<"+------------+\n"
                    <<"| "<<BoofStrOpnd[0]<<" | "<<BoofStrOpnd[1]<<" | f="<<LogOprt<<" |\n"
                    <<"|_____________|\n";
                 for(int i = 0; i < pow(2,VarNum); i++)
                {
                    arr[VarNum-1] = i        & 0xF1;
                    arr[VarNum-2] = (i >> 1) & 0xF1;
                    switch (OprtNum)
                    {
                        case 1:
                                if (BoofStrOprt[0] == '&') y = arr[VarNum-2] && arr[VarNum-1];
                                if (BoofStrOprt[0] == '+') y = arr[VarNum-2] || arr[VarNum-1];
                                if (BoofStrOprt[0] == '>') y = !arr[VarNum-2] || arr[VarNum-1];
                                if (BoofStrOprt[0] == '~') y = (!arr[VarNum-2] || arr[VarNum-1]) && (arr[VarNum-2] || !arr[VarNum-1]);
                                if (BoofStrOprt[0] == '@') y = (!arr[VarNum-2] && arr[VarNum-1]) || (arr[VarNum-2] && !arr[VarNum-1]);
                                if (BoofStrOprt[0] == '|') y = !(arr[VarNum-2] && arr[VarNum-1]);
                    }
                    cout<<"| "<<arr[VarNum-2]<<" | "<<arr[VarNum-1]<<" | "<<y<<"  | "<<endl;
                }  
                cout<<"+-----------+\n";
                break;
        case 1:
                cout<<"+---------+\n"
                    <<"| "<<BoofStrOpnd[0]<<" | f="<<LogOprt<<"|\n"
                    <<"|___|_____|\n";
                for(int i = 0; i < pow(2,VarNum); i++)
                {
                    arr[VarNum-1] = i        & 0xF1;
                    if (OprtNum) y = !arr[VarNum-1]; else y = arr[VarNum-1];
                    cout<<"| "<<arr[VarNum-1]<<" |  "<< y <<"  |"<<endl;
                }
                cout<<"+---------+\n";
                break;
        default: cout<<"Ñëèøêîì áîëüøîå âûñêàçûâàíèå";
    }
}
int Multyp(int a,int b)
{
    return a*b;
}
void BoolVar4(void)                                              //процедура вывода таблицы ист для 4 переменных(без функции)
{
    bool arr4[4];   
    cout<<VarNum<<endl;
    cout<<"+---------------+\n"
        <<"| "<<BoofStrOpnd[0]<<" | "<<BoofStrOpnd[1]<<" | "<<BoofStrOpnd[2]<<" | "<<BoofStrOpnd[3]<<" |\n"
        <<"|_______________|\n";
    for(int i = 0; i < pow(2,VarNum); i++)
    {
        arr4[VarNum-1] = i        & 0xF1;
        arr4[VarNum-2] = (i >> 1) & 0xF1;
        arr4[VarNum-3] = (i >> 2) & 0xF1;
        arr4[VarNum-4] = (i >> 3) & 0xF1;
        cout<<"| "<<arr4[VarNum-4]<<" | "<<arr4[VarNum-3]<<" | "<<arr4[VarNum-2]<<" | "<<arr4[VarNum-1]<<" |"<<endl;
    }   
    cout<<"+---------------+\n"; 
}
void BoolVar5(void)                                                             //процедура вывода таблицы ист для 5 переменных(без функции)
{
    bool arr5[5];
    cout<<"+-------------------+\n"
        <<"| "<<BoofStrOpnd[0]<<" | "<<BoofStrOpnd[1]<<" | "<<BoofStrOpnd[2]<<" | "<<BoofStrOpnd[3]<<" | "<<BoofStrOpnd[4]<<" |\n"
        <<"|___________________|\n";
    for(int i = 0; i < 32; i++)
    {
        arr5[VarNum-1] = i        & 0xF1;
        arr5[VarNum-2] = (i >> 1) & 0xF1;
        arr5[VarNum-3] = (i >> 2) & 0xF1;
        arr5[VarNum-4] = (i >> 3) & 0xF1;
        arr5[VarNum-5] = (i >> 4) & 0xF1;
        cout<<"| "<<arr5[VarNum-5]<<" | "<<arr5[VarNum-4]<<" | "<<arr5[VarNum-3]<<" | "<<arr5[VarNum-2]<<" | "<<arr5[VarNum-1]<<" |"<<endl;
    }   
    cout<<"+-------------------+\n";
}

@nmcf · 19.04.2015, 19:15

Откуда берётся значение VarNum?
Вообще это нестандарт, задавать размер массива не константой. Надо new использовать.

@BaktybekovK · 19.04.2015, 19:17 **[ТС]**

Она зависит от длины строки кол-ва переменных. Т.е. если, функция y = x&y+z. То строка переменных BoofStrOpnd = 'xyz' , а её длина и есть VarNum

@nmcf · 19.04.2015, 19:25

Вот самое начало программы. Какого размера будет массив?

C++

int VarNum, n;
string BoofStrOpnd,s;
int main()
{
    setlocale(LC_ALL, "Russian");
    int OprtNum;
    char ch,LogOprt[N]; 
    bool arr[VarNum],y;

@BaktybekovK · 19.04.2015, 19:29 **[ТС]**

То есть вы предлагаете, объявить булевский массив после определения VarNum'a?
Перед непосредственным использованием ? Тогда и будет определён размер.

radzko · 19.04.2015, 19:58

Что-то я не пойму, как эта программа у Вас, BaktybekovK, смогла выдать правильный результат. Вы объявляете глобальную переменную VarNum, которая инициализируется начальным значением 0. Затем Вы резервируете память под массив arr, состоящий из 0 элементов. После чего Вы обращаетесь к несуществующим элементам массива.

Или я что-то упустил?

@nmcf · 19.04.2015, 20:05

К моменту объявления VarNum должна содержать корректное значение.

@BaktybekovK · 19.04.2015, 21:58 **[ТС]**

Ладно, с этим разобрался, помогите мне теперь с функцией. Как функцию лучше записать(функция любая)? Будет ли лучше, если я считаю всю введённую строку и начну её посимвольно разбирать и затем начну в зависимости от символов писать функцию или же есть другой путь.

@nefton · 20.04.2015, 11:51

Мне кажется эта брошурка

как рас об этом.
http://www.rogp.hec.ulg.ac.be/... /PartI.pdf

Добавлено через 13 минут
не, отбой. книга может и хорошая, но в оглавлении под 1000стр, а в пдфе только 80

Добавлено через 2 минуты
вот интересные алгоритмы на русском
http://algolist.manual.ru/syntax/parsear.php

Добавлено через 1 минуту
точнее на уровень выше
http://algolist.manual.ru/syntax/

radzko 11 / 11 / 9 Регистрация: 16.04.2015 Сообщений: 28
	19.04.2015, 19:58	14
	Что-то я не пойму, как эта программа у Вас, BaktybekovK, смогла выдать правильный результат. Вы объявляете глобальную переменную VarNum, которая инициализируется начальным значением 0. Затем Вы резервируете память под массив arr, состоящий из 0 элементов. После чего Вы обращаетесь к несуществующим элементам массива. Или я что-то упустил? 0

@BaktybekovK 15 / 15 / 21 Регистрация: 18.04.2015 Сообщений: 73
	19.04.2015, 21:58 [ТС]	16
	Ладно, с этим разобрался, помогите мне теперь с функцией. Как функцию лучше записать(функция любая)? Будет ли лучше, если я считаю всю введённую строку и начну её посимвольно разбирать и затем начну в зависимости от символов писать функцию или же есть другой путь. 0

radzko 11 / 11 / 9 Регистрация: 16.04.2015 Сообщений: 28
	18.04.2015, 18:44	2
	Здравствуйте. Как Вы объявляете массив arr ? 0

@nmcf 7785 / 6553 / 2983 Регистрация: 14.04.2014 Сообщений: 28,617
	18.04.2015, 18:45	3
	arr как объявлен? 0

@Kerry_Jr 3106 / 2591 / 1219 Регистрация: 14.05.2014 Сообщений: 7,236 Записей в блоге: 1
	18.04.2015, 20:44	4
	BaktybekovK, немного не относится к решению проблемы, но я бы еще на Вашем месте повторяющиеся части вынес за switch. 0

@BaktybekovK 15 / 15 / 21 Регистрация: 18.04.2015 Сообщений: 73
	18.04.2015, 20:49 [ТС]	5
	arr объявлен как bool. Да, но вынести нечего 0

radzko 11 / 11 / 9 Регистрация: 16.04.2015 Сообщений: 28
	18.04.2015, 20:55	6
	BaktybekovK, покажите строчку кода, где объявляется arr 0

radzko 11 / 11 / 9 Регистрация: 16.04.2015 Сообщений: 28
	19.04.2015, 18:51	8
	BaktybekovK, вроде, всё хорошо. Возможно, Вы не правильно выделили память под BoofStrOpnd. Почему бы Вам не поделиться с нами всем кодом, в частности, меня теперь интересует массив BoofStrOpnd. Возможно, Вы выделили память под 3 элемента, а пытаетесь обратиться к четвертому. 0

@nmcf 7785 / 6553 / 2983 Регистрация: 14.04.2014 Сообщений: 28,617
	19.04.2015, 19:15	10
	Откуда берётся значение VarNum? Вообще это нестандарт, задавать размер массива не константой. Надо new использовать. 0

@BaktybekovK 15 / 15 / 21 Регистрация: 18.04.2015 Сообщений: 73
	19.04.2015, 19:17 [ТС]	11
	Она зависит от длины строки кол-ва переменных. Т.е. если, функция y = x&y+z. То строка переменных BoofStrOpnd = 'xyz' , а её длина и есть VarNum 0

@BaktybekovK 15 / 15 / 21 Регистрация: 18.04.2015 Сообщений: 73
	19.04.2015, 19:29 [ТС]	13
	То есть вы предлагаете, объявить булевский массив после определения VarNum'a? Перед непосредственным использованием ? Тогда и будет определён размер. 0

@nmcf 7785 / 6553 / 2983 Регистрация: 14.04.2014 Сообщений: 28,617
	19.04.2015, 20:05	15
	К моменту объявления VarNum должна содержать корректное значение. 0

	20.04.2015, 11:51

Опции темы

@nefton 45 / 21 / 6 Регистрация: 28.02.2013 Сообщений: 194
	20.04.2015, 11:51	17
	Мне кажется эта брошурка как рас об этом. http://www.rogp.hec.ulg.ac.be/... /PartI.pdf Добавлено через 13 минут не, отбой. книга может и хорошая, но в оглавлении под 1000стр, а в пдфе только 80 Добавлено через 2 минуты вот интересные алгоритмы на русском http://algolist.manual.ru/syntax/parsear.php Добавлено через 1 минуту точнее на уровень выше http://algolist.manual.ru/syntax/ 0