script c++ "tabel kebenaran"

#include <iostream.h> 
#include <conio.h> 


void main()
{
int a;
    cout<<"Tugas alogaritma\n\n"<<endl;
    cout<<"Cara penggunaan program !!!"<<endl;
    cout<<"Masukan struktur yang di inginkan = ...."<<endl;
    cout<<"Contoh peinputan : misal yang diinginkan (p v q) v r"<<endl;
    cout<<"Maka yang di input adalah 15253\n\n"<<endl;
    cout<<"Hasil yang di peroleh dari pengimputan sebagai berikut :"<<endl;
    cout<<"\n\n(p v q) v r\n"<<endl;
   
    cout<<"-----------------------------------"<<endl;
    cout<<"| p | q | r | p v q | (p v q) v r |"<<endl;
    cout<<"-----------------------------------"<<endl;
    cout<<"| B | B | B |   B   |      B      |"<<endl;
    cout<<"| B | B | S |   B   |      B      |"<<endl;
    cout<<"| B | S | B |   B   |      B      |"<<endl;
    cout<<"| B | S | S |   S   |      S      |"<<endl;
    cout<<"| S | B | B |   S   |      B      |"<<endl;
    cout<<"| S | B | S |   S   |      B      |"<<endl;
    cout<<"| S | S | B |   S   |      B      |"<<endl;
    cout<<"| S | S | S |   S   |      S      |"<<endl;
    cout<<"-----------------------------------"<<endl;
    cout<<"Press any key to continue..."<<endl;
    getch();
    cout<<"\n==============================SELAMAT MENCOBA==================================="<<endl;
a:;   
    cout<<"\n\nLegend"<<endl;
    cout<<"-------------------------------------------"<<endl;
    cout<<"| 1=p     4=konjungsi   (  ^  )     8=-p  |"<<endl;
    cout<<"| 2=q     5=disjungsi   (  v  )     9=-q  |"<<endl;
    cout<<"| 3=r     6=implikasi   (  -> )     0=-r  |"<<endl;
    cout<<"|         7=biimplikasi ( <-> )           |"<<endl;
    cout<<"-------------------------------------------"<<endl;
   
   
    cout<<"Masukkan struktur yang kamu inginkan = ";
    cin>>a;


if (a==14243)
{
    cout<<"\n\n(p ^ q) ^ r\n"<<endl;
   
    cout<<"-----------------------------------"<<endl;
    cout<<"| p | q | r | p ^ q | (p ^ q) ^ r |"<<endl;
    cout<<"-----------------------------------"<<endl;
    cout<<"| B | B | B |   B   |      B      |"<<endl;
    cout<<"| B | B | S |   B   |      S      |"<<endl;
    cout<<"| B | S | B |   S   |      S      |"<<endl;
    cout<<"| B | S | S |   S   |      S      |"<<endl;
    cout<<"| S | B | B |   S   |      S      |"<<endl;
    cout<<"| S | B | S |   S   |      S      |"<<endl;
    cout<<"| S | S | B |   S   |      S      |"<<endl;
    cout<<"| S | S | S |   S   |      S      |"<<endl;
    cout<<"-----------------------------------"<<endl;
}
else if (a==84243)
{
    cout<<"\n\n(-p ^ q) ^ r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p ^ q | (-p ^ q) ^ r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    S   |       S      |"<<endl;
    cout<<"| B |  S | B | S |    S   |       S      |"<<endl;
    cout<<"| B |  S | S | B |    S   |       S      |"<<endl;
    cout<<"| B |  S | S | S |    S   |       S      |"<<endl;
    cout<<"| S |  B | B | B |    B   |       B      |"<<endl;
    cout<<"| S |  B | B | S |    B   |       S      |"<<endl;
    cout<<"| S |  B | S | B |    S   |       S      |"<<endl;
    cout<<"| S |  B | S | S |    S   |       S      |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==14943)
{
    cout<<"\n\n(p ^ -q) ^ r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p ^ -q | (p ^ -q) ^ r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S   |       S      |"<<endl;
    cout<<"| B | B | S  | S |    S   |       S      |"<<endl;
    cout<<"| B | S | B  | B |    B   |       B      |"<<endl;
    cout<<"| B | S | B  | S |    B   |       S      |"<<endl;
    cout<<"| S | B | S  | B |    S   |       S      |"<<endl;
    cout<<"| S | B | S  | S |    S   |       S      |"<<endl;
    cout<<"| S | S | B  | B |    S   |       S      |"<<endl;
    cout<<"| S | S | B  | S |    S   |       S      |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==84943)
{
    cout<<"\n\n(-p ^ -q) ^ r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p ^ -q | (-p ^ -q) ^ r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    S    |       S       |"<<endl;
    cout<<"| B |  S | B | S  | S |    S    |       S       |"<<endl;
    cout<<"| B |  S | S | B  | B |    S    |       S       |"<<endl;
    cout<<"| B |  S | S | B  | S |    S    |       S       |"<<endl;
    cout<<"| S |  B | B | S  | B |    S    |       S       |"<<endl;
    cout<<"| S |  B | B | S  | S |    S    |       S       |"<<endl;
    cout<<"| S |  B | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| S |  B | S | B  | S |    B    |       S       |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==14240)
{
    cout<<"\n\n(p ^ q) ^ -r\n"<<endl;
   
    cout<<"-----------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p ^ q | (p ^ q) ^ -r |"<<endl;
    cout<<"-----------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B   |       S      |"<<endl;
    cout<<"| B | B | S |  B |   B   |       B      |"<<endl;
    cout<<"| B | S | B |  S |   S   |       S      |"<<endl;
    cout<<"| B | S | S |  B |   S   |       S      |"<<endl;
    cout<<"| S | B | B |  S |   S   |       S      |"<<endl;
    cout<<"| S | B | S |  B |   S   |       S      |"<<endl;
    cout<<"| S | S | B |  S |   S   |       S      |"<<endl;
    cout<<"| S | S | S |  B |   S   |       S      |"<<endl;
    cout<<"-----------------------------------------"<<endl;
}
else if (a==84240)
{
    cout<<"\n\n(-p ^ q) ^ -r\n"<<endl;
   
    cout<<"------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p ^ q | (-p ^ q) ^ -r |"<<endl;
    cout<<"------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    S   |        S      |"<<endl;
    cout<<"| B |  S | B | S |  B |    S   |        S      |"<<endl;
    cout<<"| B |  S | S | B |  S |    S   |        S      |"<<endl;
    cout<<"| B |  S | S | S |  B |    S   |        S      |"<<endl;
    cout<<"| S |  B | B | B |  S |    B   |        S      |"<<endl;
    cout<<"| S |  B | B | S |  B |    B   |        B      |"<<endl;
    cout<<"| S |  B | S | B |  S |    S   |        S      |"<<endl;
    cout<<"| S |  B | S | S |  B |    S   |        S      |"<<endl;
    cout<<"------------------------------------------------"<<endl;
}
else if (a==14940)
{
    cout<<"\n\n(p ^ -q) ^ -r\n"<<endl;
   
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p ^ -q | (p ^ -q) ^ -r |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S   |       S       |"<<endl;
    cout<<"| B | B | S  | S | B |    S   |       S       |"<<endl;
    cout<<"| B | S | B  | B | S |    B   |       S       |"<<endl;
    cout<<"| B | S | B  | S | B |    B   |       B       |"<<endl;
    cout<<"| S | B | S  | B | S |    S   |       S       |"<<endl;
    cout<<"| S | B | S  | S | B |    S   |       S       |"<<endl;
    cout<<"| S | S | B  | B | S |    S   |       S       |"<<endl;
    cout<<"| S | S | B  | S | B |    S   |       S       |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
}
else if (a==84940)
{
    cout<<"\n\n(-p ^ -q) ^ -r\n"<<endl;
   
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p ^ -q | (-p ^ -q) ^ -r |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |    S    |        S       |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |    S    |        S       |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |    S    |        S       |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |    S    |        S       |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |    S    |        S       |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |    S    |        S       |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |    B    |        S       |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |    B    |        B       |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
}
else if (a==14253)
{
    cout<<"\n\n(p ^ q) v r\n"<<endl;
   
    cout<<"-----------------------------------"<<endl;
    cout<<"| p | q | r | p ^ q | (p ^ q) v r |"<<endl;
    cout<<"-----------------------------------"<<endl;
    cout<<"| B | B | B |   B   |      B      |"<<endl;
    cout<<"| B | B | S |   B   |      B      |"<<endl;
    cout<<"| B | S | B |   S   |      B      |"<<endl;
    cout<<"| B | S | S |   S   |      S      |"<<endl;
    cout<<"| S | B | B |   S   |      B      |"<<endl;
    cout<<"| S | B | S |   S   |      S      |"<<endl;
    cout<<"| S | S | B |   S   |      B      |"<<endl;
    cout<<"| S | S | S |   S   |      S      |"<<endl;
    cout<<"-----------------------------------"<<endl;
}
else if (a==84253)
{
    cout<<"\n\n(-p ^ q) v r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p ^ q | (-p ^ q) v r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    S   |       B      |"<<endl;
    cout<<"| B |  S | B | S |    S   |       S      |"<<endl;
    cout<<"| B |  S | S | B |    S   |       B      |"<<endl;
    cout<<"| B |  S | S | S |    S   |       S      |"<<endl;
    cout<<"| S |  B | B | B |    B   |       B      |"<<endl;
    cout<<"| S |  B | B | S |    B   |       B      |"<<endl;
    cout<<"| S |  B | S | B |    S   |       B      |"<<endl;
    cout<<"| S |  B | S | S |    S   |       S      |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==14953)
{
    cout<<"\n\n(p ^ -q) v r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p ^ -q | (p ^ -q) v r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S   |       B      |"<<endl;
    cout<<"| B | B | S  | S |    S   |       S      |"<<endl;
    cout<<"| B | S | B  | B |    B   |       B      |"<<endl;
    cout<<"| B | S | B  | S |    B   |       B      |"<<endl;
    cout<<"| S | B | S  | B |    S   |       B      |"<<endl;
    cout<<"| S | B | S  | S |    S   |       S      |"<<endl;
    cout<<"| S | S | B  | B |    S   |       B      |"<<endl;
    cout<<"| S | S | B  | S |    S   |       S      |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==84953)
{
    cout<<"\n\n(-p ^ -q) v r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p ^ -q | (-p ^ -q) v r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    S    |       B       |"<<endl;
    cout<<"| B |  S | B | S  | S |    S    |       S       |"<<endl;
    cout<<"| B |  S | S | B  | B |    S    |       B       |"<<endl;
    cout<<"| B |  S | S | B  | S |    S    |       S       |"<<endl;
    cout<<"| S |  B | B | S  | B |    S    |       B       |"<<endl;
    cout<<"| S |  B | B | S  | S |    S    |       S       |"<<endl;
    cout<<"| S |  B | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| S |  B | S | B  | S |    B    |       B       |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==14250)
{
    cout<<"\n\n(p ^ q) v -r\n"<<endl;
   
    cout<<"-----------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p ^ q | (p ^ q) v -r |"<<endl;
    cout<<"-----------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B   |       B      |"<<endl;
    cout<<"| B | B | S |  B |   B   |       B      |"<<endl;
    cout<<"| B | S | B |  S |   S   |       S      |"<<endl;
    cout<<"| B | S | S |  B |   S   |       B      |"<<endl;
    cout<<"| S | B | B |  S |   S   |       S      |"<<endl;
    cout<<"| S | B | S |  B |   S   |       B      |"<<endl;
    cout<<"| S | S | B |  S |   S   |       S      |"<<endl;
    cout<<"| S | S | S |  B |   S   |       B      |"<<endl;
    cout<<"-----------------------------------------"<<endl;
}
else if (a==84250)
{
    cout<<"\n\n(-p ^ q) v -r\n"<<endl;
   
    cout<<"------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p ^ q | (-p ^ q) v -r |"<<endl;
    cout<<"------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    S   |        S      |"<<endl;
    cout<<"| B |  S | B | S |  B |    S   |        B      |"<<endl;
    cout<<"| B |  S | S | B |  S |    S   |        S      |"<<endl;
    cout<<"| B |  S | S | S |  B |    S   |        B      |"<<endl;
    cout<<"| S |  B | B | B |  S |    B   |        B      |"<<endl;
    cout<<"| S |  B | B | S |  B |    B   |        B      |"<<endl;
    cout<<"| S |  B | S | B |  S |    S   |        S      |"<<endl;
    cout<<"| S |  B | S | S |  B |    S   |        B      |"<<endl;
    cout<<"------------------------------------------------"<<endl;
}
else if (a==14950)
{
    cout<<"\n\n(p ^ -q) v -r\n"<<endl;
   
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p ^ -q | (p ^ -q) v -r |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S   |       S       |"<<endl;
    cout<<"| B | B | S  | S | B |    S   |       B       |"<<endl;
    cout<<"| B | S | B  | B | S |    B   |       B       |"<<endl;
    cout<<"| B | S | B  | S | B |    B   |       B       |"<<endl;
    cout<<"| S | B | S  | B | S |    S   |       S       |"<<endl;
    cout<<"| S | B | S  | S | B |    S   |       B       |"<<endl;
    cout<<"| S | S | B  | B | S |    S   |       S       |"<<endl;
    cout<<"| S | S | B  | S | B |    S   |       B       |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
}
else if (a==84950)
{
    cout<<"\n\n(-p ^ -q) v -r\n"<<endl;
   
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p ^ -q | (-p ^ -q) v -r |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |    S    |        S       |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |    S    |        B       |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |    S    |        S       |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |    S    |        B       |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |    S    |        S       |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |    S    |        B       |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |    B    |        B       |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |    B    |        B       |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
}
else if (a==14263)
{
    cout<<"\n\n(p ^ q) -> r\n"<<endl;
   
    cout<<"------------------------------------"<<endl;
    cout<<"| p | q | r | p ^ q | (p ^ q) -> r |"<<endl;
    cout<<"------------------------------------"<<endl;
    cout<<"| B | B | B |   B   |       B      |"<<endl;
    cout<<"| B | B | S |   B   |       S      |"<<endl;
    cout<<"| B | S | B |   S   |       B      |"<<endl;
    cout<<"| B | S | S |   S   |       B      |"<<endl;
    cout<<"| S | B | B |   S   |       B      |"<<endl;
    cout<<"| S | B | S |   S   |       B      |"<<endl;
    cout<<"| S | S | B |   S   |       B      |"<<endl;
    cout<<"| S | S | S |   S   |       B      |"<<endl;
    cout<<"------------------------------------"<<endl;
}
else if (a==84263)
{
    cout<<"\n\n(-p ^ q) -> r\n"<<endl;
   
    cout<<"-------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p ^ q | (-p ^ q) -> r |"<<endl;
    cout<<"-------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    S   |       B       |"<<endl;
    cout<<"| B |  S | B | S |    S   |       B       |"<<endl;
    cout<<"| B |  S | S | B |    S   |       B       |"<<endl;
    cout<<"| B |  S | S | S |    S   |       B       |"<<endl;
    cout<<"| S |  B | B | B |    B   |       B       |"<<endl;
    cout<<"| S |  B | B | S |    B   |       S       |"<<endl;
    cout<<"| S |  B | S | B |    S   |       B       |"<<endl;
    cout<<"| S |  B | S | S |    S   |       B       |"<<endl;
    cout<<"-------------------------------------------"<<endl;
}
else if (a==14963)
{
    cout<<"\n\n(p ^ -q) -> r\n"<<endl;
   
    cout<<"-------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p ^ -q | (p ^ -q) -> r |"<<endl;
    cout<<"-------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S   |       B       |"<<endl;
    cout<<"| B | B | S  | S |    S   |       B       |"<<endl;
    cout<<"| B | S | B  | B |    B   |       B       |"<<endl;
    cout<<"| B | S | B  | S |    B   |       S       |"<<endl;
    cout<<"| S | B | S  | B |    S   |       B       |"<<endl;
    cout<<"| S | B | S  | S |    S   |       B       |"<<endl;
    cout<<"| S | S | B  | B |    S   |       B       |"<<endl;
    cout<<"| S | S | B  | S |    S   |       B       |"<<endl;
    cout<<"-------------------------------------------"<<endl;
}
else if (a==84963)
{
    cout<<"\n\n(-p ^ -q) -> r\n"<<endl;
   
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p ^ -q | (-p ^ -q) -> r |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    S    |       B        |"<<endl;
    cout<<"| B |  S | B | S  | S |    S    |       B        |"<<endl;
    cout<<"| B |  S | S | B  | B |    S    |       B        |"<<endl;
    cout<<"| B |  S | S | B  | S |    S    |       B        |"<<endl;
    cout<<"| S |  B | B | S  | B |    S    |       B        |"<<endl;
    cout<<"| S |  B | B | S  | S |    S    |       B        |"<<endl;
    cout<<"| S |  B | S | B  | B |    B    |       B        |"<<endl;
    cout<<"| S |  B | S | B  | S |    B    |       S        |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
}
else if (a==14260)
{
    cout<<"\n\n(p ^ q) -> -r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p ^ q | (p ^ q) -> -r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B   |       S       |"<<endl;
    cout<<"| B | B | S |  B |   B   |       B       |"<<endl;
    cout<<"| B | S | B |  S |   S   |       B       |"<<endl;
    cout<<"| B | S | S |  B |   S   |       B       |"<<endl;
    cout<<"| S | B | B |  S |   S   |       B       |"<<endl;
    cout<<"| S | B | S |  B |   S   |       B       |"<<endl;
    cout<<"| S | S | B |  S |   S   |       B       |"<<endl;
    cout<<"| S | S | S |  B |   S   |       B       |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==84260)
{
    cout<<"\n\n(-p ^ q) -> -r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p ^ q | (-p ^ q) -> -r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    S   |        B       |"<<endl;
    cout<<"| B |  S | B | S |  B |    S   |        B       |"<<endl;
    cout<<"| B |  S | S | B |  S |    S   |        B       |"<<endl;
    cout<<"| B |  S | S | S |  B |    S   |        B       |"<<endl;
    cout<<"| S |  B | B | B |  S |    B   |        S       |"<<endl;
    cout<<"| S |  B | B | S |  B |    B   |        B       |"<<endl;
    cout<<"| S |  B | S | B |  S |    S   |        B       |"<<endl;
    cout<<"| S |  B | S | S |  B |    S   |        B       |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==14960)
{
    cout<<"\n\n(p ^ -q) -> -r\n"<<endl;
   
    cout<<"------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p ^ -q | (p ^ -q) -> -r |"<<endl;
    cout<<"------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S   |       B        |"<<endl;
    cout<<"| B | B | S  | S | B |    S   |       B        |"<<endl;
    cout<<"| B | S | B  | B | S |    B   |       S        |"<<endl;
    cout<<"| B | S | B  | S | B |    B   |       B        |"<<endl;
    cout<<"| S | B | S  | B | S |    S   |       B        |"<<endl;
    cout<<"| S | B | S  | S | B |    S   |       B        |"<<endl;
    cout<<"| S | S | B  | B | S |    S   |       B        |"<<endl;
    cout<<"| S | S | B  | S | B |    S   |       B        |"<<endl;
    cout<<"------------------------------------------------"<<endl;
}
else if (a==84960)
{
    cout<<"\n\n(-p ^ -q) -> -r\n"<<endl;
   
    cout<<"--------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p ^ -q | (-p ^ -q) -> -r |"<<endl;
    cout<<"--------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |    S    |        B        |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |    S    |        B        |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |    S    |        B        |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |    S    |        B        |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |    S    |        B        |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |    S    |        B        |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |    B    |        S        |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |    B    |        B        |"<<endl;
    cout<<"--------------------------------------------------------"<<endl;
}
else if (a==14273)
{
    cout<<"\n\n(p ^ q) <-> r\n"<<endl;
   
    cout<<"-------------------------------------"<<endl;
    cout<<"| p | q | r | p ^ q | (p ^ q) <-> r |"<<endl;
    cout<<"-------------------------------------"<<endl;
    cout<<"| B | B | B |   B   |       B       |"<<endl;
    cout<<"| B | B | S |   B   |       S       |"<<endl;
    cout<<"| B | S | B |   S   |       S       |"<<endl;
    cout<<"| B | S | S |   S   |       B       |"<<endl;
    cout<<"| S | B | B |   S   |       S       |"<<endl;
    cout<<"| S | B | S |   S   |       B       |"<<endl;
    cout<<"| S | S | B |   S   |       S       |"<<endl;
    cout<<"| S | S | S |   S   |       B       |"<<endl;
    cout<<"-------------------------------------"<<endl;
}
else if (a==84273)
{
    cout<<"\n\n(-p ^ q) <-> r\n"<<endl;
   
    cout<<"--------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p ^ q | (-p ^ q) <-> r |"<<endl;
    cout<<"--------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    S   |        S       |"<<endl;
    cout<<"| B |  S | B | S |    S   |        B       |"<<endl;
    cout<<"| B |  S | S | B |    S   |        S       |"<<endl;
    cout<<"| B |  S | S | S |    S   |        B       |"<<endl;
    cout<<"| S |  B | B | B |    B   |        B       |"<<endl;
    cout<<"| S |  B | B | S |    B   |        S       |"<<endl;
    cout<<"| S |  B | S | B |    S   |        S       |"<<endl;
    cout<<"| S |  B | S | S |    S   |        B       |"<<endl;
    cout<<"--------------------------------------------"<<endl;
}
else if (a==14973)
{
    cout<<"\n\n(p ^ -q) <-> r\n"<<endl;
   
    cout<<"--------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p ^ -q | (p ^ -q) <-> r |"<<endl;
    cout<<"--------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S   |       S        |"<<endl;
    cout<<"| B | B | S  | S |    S   |       B        |"<<endl;
    cout<<"| B | S | B  | B |    B   |       B        |"<<endl;
    cout<<"| B | S | B  | S |    B   |       S        |"<<endl;
    cout<<"| S | B | S  | B |    S   |       S        |"<<endl;
    cout<<"| S | B | S  | S |    S   |       B        |"<<endl;
    cout<<"| S | S | B  | B |    S   |       S        |"<<endl;
    cout<<"| S | S | B  | S |    S   |       B        |"<<endl;
    cout<<"--------------------------------------------"<<endl;
}
else if (a==84973)
{
    cout<<"\n\n(-p ^ -q) <-> r\n"<<endl;
   
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p ^ -q | (-p ^ -q) <-> r |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    S    |        S        |"<<endl;
    cout<<"| B |  S | B | S  | S |    S    |        B        |"<<endl;
    cout<<"| B |  S | S | B  | B |    S    |        S        |"<<endl;
    cout<<"| B |  S | S | B  | S |    S    |        B        |"<<endl;
    cout<<"| S |  B | B | S  | B |    S    |        S        |"<<endl;
    cout<<"| S |  B | B | S  | S |    S    |        B        |"<<endl;
    cout<<"| S |  B | S | B  | B |    B    |        B        |"<<endl;
    cout<<"| S |  B | S | B  | S |    B    |        S        |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
}
else if (a==14270)
{
    cout<<"\n\n(p ^ q) <-> -r\n"<<endl;
   
    cout<<"-------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p ^ q | (p ^ q) <-> -r |"<<endl;
    cout<<"-------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B   |        S       |"<<endl;
    cout<<"| B | B | S |  B |   B   |        B       |"<<endl;
    cout<<"| B | S | B |  S |   S   |        B       |"<<endl;
    cout<<"| B | S | S |  B |   S   |        S       |"<<endl;
    cout<<"| S | B | B |  S |   S   |        B       |"<<endl;
    cout<<"| S | B | S |  B |   S   |        S       |"<<endl;
    cout<<"| S | S | B |  S |   S   |        B       |"<<endl;
    cout<<"| S | S | S |  B |   S   |        S       |"<<endl;
    cout<<"-------------------------------------------"<<endl;
}
else if (a==84270)
{
    cout<<"\n\n(-p ^ q) <-> -r\n"<<endl;
   
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p ^ q | (-p ^ q) <-> -r |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    S   |        B        |"<<endl;
    cout<<"| B |  S | B | S |  B |    S   |        S        |"<<endl;
    cout<<"| B |  S | S | B |  S |    S   |        B        |"<<endl;
    cout<<"| B |  S | S | S |  B |    S   |        S        |"<<endl;
    cout<<"| S |  B | B | B |  S |    B   |        S        |"<<endl;
    cout<<"| S |  B | B | S |  B |    B   |        B        |"<<endl;
    cout<<"| S |  B | S | B |  S |    S   |        B        |"<<endl;
    cout<<"| S |  B | S | S |  B |    S   |        S        |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
}
else if (a==14970)
{
    cout<<"\n\n(p ^ -q) <-> -r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p ^ -q | (p ^ -q) <-> -r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S   |        B        |"<<endl;
    cout<<"| B | B | S  | S | B |    S   |        S        |"<<endl;
    cout<<"| B | S | B  | B | S |    B   |        S        |"<<endl;
    cout<<"| B | S | B  | S | B |    B   |        B        |"<<endl;
    cout<<"| S | B | S  | B | S |    S   |        B        |"<<endl;
    cout<<"| S | B | S  | S | B |    S   |        S        |"<<endl;
    cout<<"| S | S | B  | B | S |    S   |        B        |"<<endl;
    cout<<"| S | S | B  | S | B |    S   |        S        |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==84970)
{
    cout<<"\n\n(-p ^ -q) <-> -r\n"<<endl;
   
    cout<<"---------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p ^ -q | (-p ^ -q) <-> -r |"<<endl;
    cout<<"---------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |    S    |         B        |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |    S    |         S        |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |    S    |         B        |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |    S    |         S        |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |    S    |         B        |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |    S    |         S        |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |    B    |         S        |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |    B    |         B        |"<<endl;
    cout<<"---------------------------------------------------------"<<endl;
}
else if (a==15243)
{
    cout<<"\n\n(p v q) ^ r\n"<<endl;
   
    cout<<"-----------------------------------"<<endl;
    cout<<"| p | q | r | p v q | (p v q) ^ r |"<<endl;
    cout<<"-----------------------------------"<<endl;
    cout<<"| B | B | B |   B   |      B      |"<<endl;
    cout<<"| B | B | S |   B   |      S      |"<<endl;
    cout<<"| B | S | B |   B   |      B      |"<<endl;
    cout<<"| B | S | S |   B   |      S      |"<<endl;
    cout<<"| S | B | B |   B   |      B      |"<<endl;
    cout<<"| S | B | S |   B   |      S      |"<<endl;
    cout<<"| S | S | B |   S   |      S      |"<<endl;
    cout<<"| S | S | S |   S   |      S      |"<<endl;
    cout<<"-----------------------------------"<<endl;
}
else if (a==85243)
{
    cout<<"\n\n(-p v q) ^ r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p v q | (-p v q) ^ r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    B   |       B      |"<<endl;
    cout<<"| B |  S | B | S |    B   |       S      |"<<endl;
    cout<<"| B |  S | S | B |    S   |       S      |"<<endl;
    cout<<"| B |  S | S | S |    S   |       S      |"<<endl;
    cout<<"| S |  B | B | B |    B   |       B      |"<<endl;
    cout<<"| S |  B | B | S |    B   |       S      |"<<endl;
    cout<<"| S |  B | S | B |    B   |       B      |"<<endl;
    cout<<"| S |  B | S | S |    B   |       S      |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==15943)
{
    cout<<"\n\n(p v -q) ^ r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p v -q | (p v -q) ^ r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    B   |       B      |"<<endl;
    cout<<"| B | B | S  | S |    B   |       S      |"<<endl;
    cout<<"| B | S | B  | B |    B   |       B      |"<<endl;
    cout<<"| B | S | B  | S |    B   |       S      |"<<endl;
    cout<<"| S | B | S  | B |    S   |       S      |"<<endl;
    cout<<"| S | B | S  | S |    S   |       S      |"<<endl;
    cout<<"| S | S | B  | B |    B   |       B      |"<<endl;
    cout<<"| S | S | B  | S |    B   |       S      |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==85943)
{
    cout<<"\n\n(-p v -q) ^ r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p v -q | (-p v -q) ^ r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    S    |       S       |"<<endl;
    cout<<"| B |  S | B | S  | S |    S    |       S       |"<<endl;
    cout<<"| B |  S | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| B |  S | S | B  | S |    B    |       S       |"<<endl;
    cout<<"| S |  B | B | S  | B |    B    |       B       |"<<endl;
    cout<<"| S |  B | B | S  | S |    B    |       S       |"<<endl;
    cout<<"| S |  B | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| S |  B | S | B  | S |    B    |       S       |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==15240)
{
    cout<<"\n\n(p v q) ^ -r\n"<<endl;
   
    cout<<"-----------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p v q | (p v q) ^ -r |"<<endl;
    cout<<"-----------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B   |       S      |"<<endl;
    cout<<"| B | B | S |  B |   B   |       B      |"<<endl;
    cout<<"| B | S | B |  S |   B   |       S      |"<<endl;
    cout<<"| B | S | S |  B |   B   |       B      |"<<endl;
    cout<<"| S | B | B |  S |   B   |       S      |"<<endl;
    cout<<"| S | B | S |  B |   B   |       B      |"<<endl;
    cout<<"| S | S | B |  S |   S   |       S      |"<<endl;
    cout<<"| S | S | S |  B |   S   |       S      |"<<endl;
    cout<<"-----------------------------------------"<<endl;
}
else if (a==85240)
{
    cout<<"\n\n(-p v q) ^ -r\n"<<endl;
   
    cout<<"------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p v q | (-p v q) ^ -r |"<<endl;
    cout<<"------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    B   |       S       |"<<endl;
    cout<<"| B |  S | B | S |  B |    B   |       B       |"<<endl;
    cout<<"| B |  S | S | B |  S |    S   |       S       |"<<endl;
    cout<<"| B |  S | S | S |  B |    S   |       S       |"<<endl;
    cout<<"| S |  B | B | B |  S |    B   |       S       |"<<endl;
    cout<<"| S |  B | B | S |  B |    B   |       B       |"<<endl;
    cout<<"| S |  B | S | B |  S |    B   |       S       |"<<endl;
    cout<<"| S |  B | S | S |  B |    B   |       B       |"<<endl;
    cout<<"------------------------------------------------"<<endl;
}
else if (a==15940)
{
    cout<<"\n\n(p v -q) ^ -r\n"<<endl;
   
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p v -q | (p v -q) ^ -r |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    B   |        S      |"<<endl;
    cout<<"| B | B | S  | S | B |    B   |        B      |"<<endl;
    cout<<"| B | S | B  | B | S |    B   |        S      |"<<endl;
    cout<<"| B | S | B  | S | B |    B   |        B      |"<<endl;
    cout<<"| S | B | S  | B | S |    S   |        S      |"<<endl;
    cout<<"| S | B | S  | S | B |    S   |        S      |"<<endl;
    cout<<"| S | S | B  | B | S |    B   |        S      |"<<endl;
    cout<<"| S | S | B  | S | B |    B   |        B      |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
}
else if (a==85940)
{
    cout<<"\n\n(-p v -q) ^ -r\n"<<endl;
   
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p v -q | (-p v -q) ^ -r |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |    S    |        S       |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |    S    |        S       |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |    B    |        S       |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |    B    |        B       |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |    B    |        S       |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |    B    |        B       |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |    B    |        S       |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |    B    |        B       |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
}
else if (a==15253)
{
    cout<<"\n\n(p v q) v r\n"<<endl;
   
    cout<<"-----------------------------------"<<endl;
    cout<<"| p | q | r | p v q | (p v q) v r |"<<endl;
    cout<<"-----------------------------------"<<endl;
    cout<<"| B | B | B |   B   |      B      |"<<endl;
    cout<<"| B | B | S |   B   |      B      |"<<endl;
    cout<<"| B | S | B |   B   |      B      |"<<endl;
    cout<<"| B | S | S |   B   |      B      |"<<endl;
    cout<<"| S | B | B |   B   |      B      |"<<endl;
    cout<<"| S | B | S |   B   |      B      |"<<endl;
    cout<<"| S | S | B |   S   |      B      |"<<endl;
    cout<<"| S | S | S |   S   |      S      |"<<endl;
    cout<<"-----------------------------------"<<endl;
}
else if (a==85253)
{
    cout<<"\n\n(-p v q) v r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p v q | (-p v q) v r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    B   |       B      |"<<endl;
    cout<<"| B |  S | B | S |    B   |       B      |"<<endl;
    cout<<"| B |  S | S | B |    S   |       B      |"<<endl;
    cout<<"| B |  S | S | S |    S   |       S      |"<<endl;
    cout<<"| S |  B | B | B |    B   |       B      |"<<endl;
    cout<<"| S |  B | B | S |    B   |       B      |"<<endl;
    cout<<"| S |  B | S | B |    B   |       B      |"<<endl;
    cout<<"| S |  B | S | S |    B   |       B      |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==15953)
{
    cout<<"\n\n(p v -q) v r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p v -q | (p v -q) v r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    B   |       B      |"<<endl;
    cout<<"| B | B | S  | S |    B   |       B      |"<<endl;
    cout<<"| B | S | B  | B |    B   |       B      |"<<endl;
    cout<<"| B | S | B  | S |    B   |       B      |"<<endl;
    cout<<"| S | B | S  | B |    S   |       B      |"<<endl;
    cout<<"| S | B | S  | S |    S   |       S      |"<<endl;
    cout<<"| S | S | B  | B |    B   |       B      |"<<endl;
    cout<<"| S | S | B  | S |    B   |       B      |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==85953)
{
    cout<<"\n\n(-p v -q) ^ r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p v -q | (-p v -q) v r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    S    |       B       |"<<endl;
    cout<<"| B |  S | B | S  | S |    S    |       S       |"<<endl;
    cout<<"| B |  S | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| B |  S | S | B  | S |    B    |       B       |"<<endl;
    cout<<"| S |  B | B | S  | B |    B    |       B       |"<<endl;
    cout<<"| S |  B | B | S  | S |    B    |       B       |"<<endl;
    cout<<"| S |  B | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| S |  B | S | B  | S |    B    |       B       |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==15250)
{
    cout<<"\n\n(p v q) v -r\n"<<endl;
   
    cout<<"-----------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p v q | (p v q) v -r |"<<endl;
    cout<<"-----------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B   |       B      |"<<endl;
    cout<<"| B | B | S |  B |   B   |       B      |"<<endl;
    cout<<"| B | S | B |  S |   B   |       B      |"<<endl;
    cout<<"| B | S | S |  B |   B   |       B      |"<<endl;
    cout<<"| S | B | B |  S |   B   |       B      |"<<endl;
    cout<<"| S | B | S |  B |   B   |       B      |"<<endl;
    cout<<"| S | S | B |  S |   S   |       S      |"<<endl;
    cout<<"| S | S | S |  B |   S   |       B      |"<<endl;
    cout<<"-----------------------------------------"<<endl;
}
else if (a==85250)
{
    cout<<"\n\n(-p v q) v -r\n"<<endl;
   
    cout<<"------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p v q | (-p v q) v -r |"<<endl;
    cout<<"------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    B   |       B       |"<<endl;
    cout<<"| B |  S | B | S |  B |    B   |       B       |"<<endl;
    cout<<"| B |  S | S | B |  S |    S   |       S       |"<<endl;
    cout<<"| B |  S | S | S |  B |    S   |       B       |"<<endl;
    cout<<"| S |  B | B | B |  S |    B   |       B       |"<<endl;
    cout<<"| S |  B | B | S |  B |    B   |       B       |"<<endl;
    cout<<"| S |  B | S | B |  S |    B   |       B       |"<<endl;
    cout<<"| S |  B | S | S |  B |    B   |       B       |"<<endl;
    cout<<"------------------------------------------------"<<endl;
}
else if (a==15950)
{
    cout<<"\n\n(p v -q) v -r\n"<<endl;
   
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p v -q | (p v -q) v -r |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    B   |        B      |"<<endl;
    cout<<"| B | B | S  | S | B |    B   |        B      |"<<endl;
    cout<<"| B | S | B  | B | S |    B   |        B      |"<<endl;
    cout<<"| B | S | B  | S | B |    B   |        B      |"<<endl;
    cout<<"| S | B | S  | B | S |    S   |        S      |"<<endl;
    cout<<"| S | B | S  | S | B |    S   |        B      |"<<endl;
    cout<<"| S | S | B  | B | S |    B   |        B      |"<<endl;
    cout<<"| S | S | B  | S | B |    B   |        B      |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
}
else if (a==85950)
{
    cout<<"\n\n(-p v -q) v -r\n"<<endl;
   
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p v -q | (-p v -q) v -r |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |    S    |        S       |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |    S    |        B       |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |    B    |        B       |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |    B    |        B       |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |    B    |        B       |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |    B    |        B       |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |    B    |        B       |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |    B    |        B       |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
}
 else if (a==15263)
{
    cout<<"\n\n(p v q) -> r\n"<<endl;
   
    cout<<"------------------------------------"<<endl;
    cout<<"| p | q | r | p v q | (p v q) -> r |"<<endl;
    cout<<"------------------------------------"<<endl;
    cout<<"| B | B | B |   B   |      B       |"<<endl;
    cout<<"| B | B | S |   B   |      S       |"<<endl;
    cout<<"| B | S | B |   B   |      B       |"<<endl;
    cout<<"| B | S | S |   B   |      S       |"<<endl;
    cout<<"| S | B | B |   B   |      B       |"<<endl;
    cout<<"| S | B | S |   B   |      S       |"<<endl;
    cout<<"| S | S | B |   S   |      B       |"<<endl;
    cout<<"| S | S | S |   S   |      B       |"<<endl;
    cout<<"------------------------------------"<<endl;
}
 else if (a==85263)
{
    cout<<"\n\n(-p v q) -> r\n"<<endl;
   
    cout<<"-------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p v q | (-p v q) -> r |"<<endl;
    cout<<"-------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    B   |       B       |"<<endl;
    cout<<"| B |  S | B | S |    B   |       S       |"<<endl;
    cout<<"| B |  S | S | B |    S   |       B       |"<<endl;
    cout<<"| B |  S | S | S |    S   |       B       |"<<endl;
    cout<<"| S |  B | B | B |    B   |       B       |"<<endl;
    cout<<"| S |  B | B | S |    B   |       S       |"<<endl;
    cout<<"| S |  B | S | B |    B   |       B       |"<<endl;
    cout<<"| S |  B | S | S |    B   |       S       |"<<endl;
    cout<<"-------------------------------------------"<<endl;
}
else if (a==15963)
{
    cout<<"\n\n(p v -q) -> r\n"<<endl;
   
    cout<<"-------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p v -q | (p v -q) -> r |"<<endl;
    cout<<"-------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    B   |       B       |"<<endl;
    cout<<"| B | B | S  | S |    B   |       S       |"<<endl;
    cout<<"| B | S | B  | B |    B   |       B       |"<<endl;
    cout<<"| B | S | B  | S |    B   |       S       |"<<endl;
    cout<<"| S | B | S  | B |    S   |       B       |"<<endl;
    cout<<"| S | B | S  | S |    S   |       B       |"<<endl;
    cout<<"| S | S | B  | B |    B   |       B       |"<<endl;
    cout<<"| S | S | B  | S |    B   |       S       |"<<endl;
    cout<<"-------------------------------------------"<<endl;
}
else if (a==85963)
{
    cout<<"\n\n(-p v -q) -> r\n"<<endl;
   
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p v -q | (-p v -q) -> r |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    S    |       B        |"<<endl;
    cout<<"| B |  S | B | S  | S |    S    |       B        |"<<endl;
    cout<<"| B |  S | S | B  | B |    B    |       B        |"<<endl;
    cout<<"| B |  S | S | B  | S |    B    |       S        |"<<endl;
    cout<<"| S |  B | B | S  | B |    B    |       B        |"<<endl;
    cout<<"| S |  B | B | S  | S |    B    |       S        |"<<endl;
    cout<<"| S |  B | S | B  | B |    B    |       B        |"<<endl;
    cout<<"| S |  B | S | B  | S |    B    |       S        |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
}
else if (a==15260)
{
    cout<<"\n\n(p v q) -> -r\n"<<endl;
   
    cout<<"------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p v q | (p v q) -> -r |"<<endl;
    cout<<"------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B   |        S      |"<<endl;
    cout<<"| B | B | S |  B |   B   |        B      |"<<endl;
    cout<<"| B | S | B |  S |   B   |        S      |"<<endl;
    cout<<"| B | S | S |  B |   B   |        B      |"<<endl;
    cout<<"| S | B | B |  S |   B   |        S      |"<<endl;
    cout<<"| S | B | S |  B |   B   |        B      |"<<endl;
    cout<<"| S | S | B |  S |   S   |        B      |"<<endl;
    cout<<"| S | S | S |  B |   S   |        B      |"<<endl;
    cout<<"------------------------------------------"<<endl;
}
else if (a==85260)
{
    cout<<"\n\n(-p v q) -> -r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p v q | (-p v q) -> -r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    B   |        S       |"<<endl;
    cout<<"| B |  S | B | S |  B |    B   |        B       |"<<endl;
    cout<<"| B |  S | S | B |  S |    S   |        B       |"<<endl;
    cout<<"| B |  S | S | S |  B |    S   |        B       |"<<endl;
    cout<<"| S |  B | B | B |  S |    B   |        S       |"<<endl;
    cout<<"| S |  B | B | S |  B |    B   |        B       |"<<endl;
    cout<<"| S |  B | S | B |  S |    B   |        S       |"<<endl;
    cout<<"| S |  B | S | S |  B |    B   |        B       |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==15960)
{
    cout<<"\n\n(p v -q) -> -r\n"<<endl;
   
    cout<<"------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p v -q | (p v -q) -> -r |"<<endl;
    cout<<"------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    B   |        S       |"<<endl;
    cout<<"| B | B | S  | S | B |    B   |        B       |"<<endl;
    cout<<"| B | S | B  | B | S |    B   |        S       |"<<endl;
    cout<<"| B | S | B  | S | B |    B   |        B       |"<<endl;
    cout<<"| S | B | S  | B | S |    S   |        B       |"<<endl;
    cout<<"| S | B | S  | S | B |    S   |        B       |"<<endl;
    cout<<"| S | S | B  | B | S |    B   |        S       |"<<endl;
    cout<<"| S | S | B  | S | B |    B   |        B       |"<<endl;
    cout<<"------------------------------------------------"<<endl;
}
else if (a==85960)
{
    cout<<"\n\n(-p v -q) -> -r\n"<<endl;
   
    cout<<"--------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p v -q | (-p v -q) -> -r |"<<endl;
    cout<<"--------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |    S    |         B       |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |    S    |         B       |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |    B    |         S       |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |    B    |         B       |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |    B    |         S       |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |    B    |         B       |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |    B    |         S       |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |    B    |         B       |"<<endl;
    cout<<"--------------------------------------------------------"<<endl;
}
 else if (a==15273)
{
    cout<<"\n\n(p v q) <-> r\n"<<endl;
   
    cout<<"-------------------------------------"<<endl;
    cout<<"| p | q | r | p v q | (p v q) <-> r |"<<endl;
    cout<<"-------------------------------------"<<endl;
    cout<<"| B | B | B |   B   |       B       |"<<endl;
    cout<<"| B | B | S |   B   |       S       |"<<endl;
    cout<<"| B | S | B |   B   |       B       |"<<endl;
    cout<<"| B | S | S |   B   |       S       |"<<endl;
    cout<<"| S | B | B |   B   |       B       |"<<endl;
    cout<<"| S | B | S |   B   |       S       |"<<endl;
    cout<<"| S | S | B |   S   |       S       |"<<endl;
    cout<<"| S | S | S |   S   |       B       |"<<endl;
    cout<<"-------------------------------------"<<endl;
}
 else if (a==85273)
{
    cout<<"\n\n(-p v q) <-> r\n"<<endl;
   
    cout<<"--------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p v q | (-p v q) <-> r |"<<endl;
    cout<<"--------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    B   |        B       |"<<endl;
    cout<<"| B |  S | B | S |    B   |        S       |"<<endl;
    cout<<"| B |  S | S | B |    S   |        S       |"<<endl;
    cout<<"| B |  S | S | S |    S   |        B       |"<<endl;
    cout<<"| S |  B | B | B |    B   |        B       |"<<endl;
    cout<<"| S |  B | B | S |    B   |        S       |"<<endl;
    cout<<"| S |  B | S | B |    B   |        B       |"<<endl;
    cout<<"| S |  B | S | S |    B   |        S       |"<<endl;
    cout<<"--------------------------------------------"<<endl;
}
else if (a==15973)
{
    cout<<"\n\n(p v -q) <-> r\n"<<endl;
   
    cout<<"--------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p v -q | (p v -q) <-> r |"<<endl;
    cout<<"--------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    B   |        B       |"<<endl;
    cout<<"| B | B | S  | S |    B   |        S       |"<<endl;
    cout<<"| B | S | B  | B |    B   |        B       |"<<endl;
    cout<<"| B | S | B  | S |    B   |        S       |"<<endl;
    cout<<"| S | B | S  | B |    S   |        S       |"<<endl;
    cout<<"| S | B | S  | S |    S   |        B       |"<<endl;
    cout<<"| S | S | B  | B |    B   |        B       |"<<endl;
    cout<<"| S | S | B  | S |    B   |        S       |"<<endl;
    cout<<"--------------------------------------------"<<endl;
}
else if (a==85973)
{
    cout<<"\n\n(-p v -q) <-> r\n"<<endl;
   
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p v -q | (-p v -q) <-> r |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    S    |        S        |"<<endl;
    cout<<"| B |  S | B | S  | S |    S    |        B        |"<<endl;
    cout<<"| B |  S | S | B  | B |    B    |        B        |"<<endl;
    cout<<"| B |  S | S | B  | S |    B    |        S        |"<<endl;
    cout<<"| S |  B | B | S  | B |    B    |        B        |"<<endl;
    cout<<"| S |  B | B | S  | S |    B    |        S        |"<<endl;
    cout<<"| S |  B | S | B  | B |    B    |        B        |"<<endl;
    cout<<"| S |  B | S | B  | S |    B    |        S        |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
}
else if (a==15270)
{
    cout<<"\n\n(p v q) <-> -r\n"<<endl;
   
    cout<<"-------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p v q | (p v q) <-> -r |"<<endl;
    cout<<"-------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B   |        S       |"<<endl;
    cout<<"| B | B | S |  B |   B   |        B       |"<<endl;
    cout<<"| B | S | B |  S |   B   |        S       |"<<endl;
    cout<<"| B | S | S |  B |   B   |        B       |"<<endl;
    cout<<"| S | B | B |  S |   B   |        S       |"<<endl;
    cout<<"| S | B | S |  B |   B   |        B       |"<<endl;
    cout<<"| S | S | B |  S |   S   |        B       |"<<endl;
    cout<<"| S | S | S |  B |   S   |        S       |"<<endl;
    cout<<"-------------------------------------------"<<endl;
}
else if (a==85270)
{
    cout<<"\n\n(-p v q) <-> -r\n"<<endl;
   
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p v q | (-p v q) <-> -r |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    B   |         S       |"<<endl;
    cout<<"| B |  S | B | S |  B |    B   |         B       |"<<endl;
    cout<<"| B |  S | S | B |  S |    S   |         B       |"<<endl;
    cout<<"| B |  S | S | S |  B |    S   |         S       |"<<endl;
    cout<<"| S |  B | B | B |  S |    B   |         S       |"<<endl;
    cout<<"| S |  B | B | S |  B |    B   |         B       |"<<endl;
    cout<<"| S |  B | S | B |  S |    B   |         S       |"<<endl;
    cout<<"| S |  B | S | S |  B |    B   |         B       |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
}
else if (a==15970)
{
    cout<<"\n\n(p v -q) <-> -r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p v -q | (p v -q) <-> -r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    B   |        S        |"<<endl;
    cout<<"| B | B | S  | S | B |    B   |        B        |"<<endl;
    cout<<"| B | S | B  | B | S |    B   |        S        |"<<endl;
    cout<<"| B | S | B  | S | B |    B   |        B        |"<<endl;
    cout<<"| S | B | S  | B | S |    S   |        B        |"<<endl;
    cout<<"| S | B | S  | S | B |    S   |        S        |"<<endl;
    cout<<"| S | S | B  | B | S |    B   |        S        |"<<endl;
    cout<<"| S | S | B  | S | B |    B   |        B        |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==85970)
{
    cout<<"\n\n(-p v -q) <-> -r\n"<<endl;
   
    cout<<"---------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p v -q | (-p v -q) <-> -r |"<<endl;
    cout<<"---------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |    S    |         B        |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |    S    |         S        |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |    B    |         S        |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |    B    |         B        |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |    B    |         S        |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |    B    |         B        |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |    B    |         S        |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |    B    |         B        |"<<endl;
    cout<<"---------------------------------------------------------"<<endl;
}
else if (a==16243)
{
    cout<<"\n\n(p -> q) ^ r\n"<<endl;
   
    cout<<"-------------------------------------"<<endl;
    cout<<"| p | q | r | p -> q | (p -> q) ^ r |"<<endl;
    cout<<"-------------------------------------"<<endl;
    cout<<"| B | B | B |    B   |       B      |"<<endl;
    cout<<"| B | B | S |    B   |       S      |"<<endl;
    cout<<"| B | S | B |    S   |       S      |"<<endl;
    cout<<"| B | S | S |    S   |       S      |"<<endl;
    cout<<"| S | B | B |    B   |       B      |"<<endl;
    cout<<"| S | B | S |    B   |       S      |"<<endl;
    cout<<"| S | S | B |    B   |       B      |"<<endl;
    cout<<"| S | S | S |    B   |       S      |"<<endl;
    cout<<"-------------------------------------"<<endl;
}
else if (a==86243)
{
    cout<<"\n\n(-p -> q) ^ r\n"<<endl;
   
    cout<<"---------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p -> q | (-p -> q) ^ r  |"<<endl;
    cout<<"---------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    B    |        B       |"<<endl;
    cout<<"| B |  S | B | S |    B    |        S       |"<<endl;
    cout<<"| B |  S | S | B |    B    |        B       |"<<endl;
    cout<<"| B |  S | S | S |    B    |        S       |"<<endl;
    cout<<"| S |  B | B | B |    B    |        B       |"<<endl;
    cout<<"| S |  B | B | S |    B    |        S       |"<<endl;
    cout<<"| S |  B | S | B |    S    |        S       |"<<endl;
    cout<<"| S |  B | S | S |    S    |        S       |"<<endl;
    cout<<"---------------------------------------------"<<endl;
}
else if (a==16943)
{
    cout<<"\n\n(p -> -q) ^ r\n"<<endl;
   
    cout<<"--------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p -> -q | (p -> -q) ^ r |"<<endl;
    cout<<"--------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S    |       S       |"<<endl;
    cout<<"| B | B | S  | S |    S    |       S       |"<<endl;
    cout<<"| B | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| B | S | B  | S |    B    |       S       |"<<endl;
    cout<<"| S | B | S  | B |    B    |       B       |"<<endl;
    cout<<"| S | B | S  | S |    B    |       S       |"<<endl;
    cout<<"| S | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| S | S | B  | S |    B    |       S       |"<<endl;
    cout<<"--------------------------------------------"<<endl;
}
else if (a==86943)
{
    cout<<"\n\n(-p -> -q) ^ r\n"<<endl;
   
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p -> -q | (-p -> -q) ^ r |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    B     |        B       |"<<endl;
    cout<<"| B |  S | B | S  | S |    B     |        S       |"<<endl;
    cout<<"| B |  S | S | B  | B |    B     |        B       |"<<endl;
    cout<<"| B |  S | S | B  | S |    B     |        S       |"<<endl;
    cout<<"| S |  B | B | S  | B |    S     |        S       |"<<endl;
    cout<<"| S |  B | B | S  | S |    S     |        S       |"<<endl;
    cout<<"| S |  B | S | B  | B |    B     |        B       |"<<endl;
    cout<<"| S |  B | S | B  | S |    B     |        S       |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
}
else if (a==16240)
{
    cout<<"\n\n(p -> q) ^ -r\n"<<endl;
   
    cout<<"-------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p -> q | (p v q) ^ -r  |"<<endl;
    cout<<"-------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B    |        S      |"<<endl;
    cout<<"| B | B | S |  B |   B    |        B      |"<<endl;
    cout<<"| B | S | B |  S |   S    |        S      |"<<endl;
    cout<<"| B | S | S |  B |   S    |        S      |"<<endl;
    cout<<"| S | B | B |  S |   B    |        S      |"<<endl;
    cout<<"| S | B | S |  B |   B    |        B      |"<<endl;
    cout<<"| S | S | B |  S |   B    |        S      |"<<endl;
    cout<<"| S | S | S |  B |   B    |        B      |"<<endl;
    cout<<"-------------------------------------------"<<endl;
}
else if (a==86240)
{
    cout<<"\n\n(-p -> q) ^ -r\n"<<endl;
   
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p -> q | (-p -> q) ^ -r |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    B    |        S       |"<<endl;
    cout<<"| B |  S | B | S |  B |    B    |        B       |"<<endl;
    cout<<"| B |  S | S | B |  S |    B    |        B       |"<<endl;
    cout<<"| B |  S | S | S |  B |    B    |        S       |"<<endl;
    cout<<"| S |  B | B | B |  S |    B    |        S       |"<<endl;
    cout<<"| S |  B | B | S |  B |    B    |        B       |"<<endl;
    cout<<"| S |  B | S | B |  S |    S    |        S       |"<<endl;
    cout<<"| S |  B | S | S |  B |    S    |        B       |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
}
else if (a==16940)
{
    cout<<"\n\n(p -> -q) ^ -r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p -> -q | (p -> -q) ^ -r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S    |       S        |"<<endl;
    cout<<"| B | B | S  | S | B |    S    |       S        |"<<endl;
    cout<<"| B | S | B  | B | S |    B    |       S        |"<<endl;
    cout<<"| B | S | B  | S | B |    B    |       B        |"<<endl;
    cout<<"| S | B | S  | B | S |    B    |       S        |"<<endl;
    cout<<"| S | B | S  | S | B |    B    |       B        |"<<endl;
    cout<<"| S | S | B  | B | S |    B    |       S        |"<<endl;
    cout<<"| S | S | B  | S | B |    B    |       B        |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==86940)
{
    cout<<"\n\n(-p -> -q) ^ -r\n"<<endl;
   
    cout<<"---------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p -> -q | (-p -> -q) ^ -r |"<<endl;
    cout<<"---------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |     B    |        S        |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |     B    |        B        |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |     B    |        S        |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |     B    |        B        |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |     S    |        S        |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |     S    |        S        |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |     B    |        S        |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |     B    |        B        |"<<endl;
    cout<<"---------------------------------------------------------"<<endl;
}
else if (a==16253)
{
    cout<<"\n\n(p -> q) v r\n"<<endl;
   
    cout<<"-------------------------------------"<<endl;
    cout<<"| p | q | r | p -> q | (p -> q) v r |"<<endl;
    cout<<"-------------------------------------"<<endl;
    cout<<"| B | B | B |    B   |       B      |"<<endl;
    cout<<"| B | B | S |    B   |       B      |"<<endl;
    cout<<"| B | S | B |    S   |       B      |"<<endl;
    cout<<"| B | S | S |    S   |       S      |"<<endl;
    cout<<"| S | B | B |    B   |       B      |"<<endl;
    cout<<"| S | B | S |    B   |       B      |"<<endl;
    cout<<"| S | S | B |    B   |       B      |"<<endl;
    cout<<"| S | S | S |    B   |       B      |"<<endl;
    cout<<"-------------------------------------"<<endl;
}
else if (a==86253)
{
    cout<<"\n\n(-p -> q) v r\n"<<endl;
   
    cout<<"---------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p -> q | (-p -> q) v r  |"<<endl;
    cout<<"---------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    B    |        B       |"<<endl;
    cout<<"| B |  S | B | S |    B    |        B       |"<<endl;
    cout<<"| B |  S | S | B |    B    |        B       |"<<endl;
    cout<<"| B |  S | S | S |    B    |        B       |"<<endl;
    cout<<"| S |  B | B | B |    B    |        B       |"<<endl;
    cout<<"| S |  B | B | S |    B    |        B       |"<<endl;
    cout<<"| S |  B | S | B |    S    |        B       |"<<endl;
    cout<<"| S |  B | S | S |    S    |        S       |"<<endl;
    cout<<"---------------------------------------------"<<endl;
}
else if (a==16953)
{
    cout<<"\n\n(p -> -q) v r\n"<<endl;
   
    cout<<"--------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p -> -q | (p -> -q) v r |"<<endl;
    cout<<"--------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S    |       B       |"<<endl;
    cout<<"| B | B | S  | S |    S    |       S       |"<<endl;
    cout<<"| B | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| B | S | B  | S |    B    |       B       |"<<endl;
    cout<<"| S | B | S  | B |    B    |       B       |"<<endl;
    cout<<"| S | B | S  | S |    B    |       B       |"<<endl;
    cout<<"| S | S | B  | B |    B    |       B       |"<<endl;
    cout<<"| S | S | B  | S |    B    |       B       |"<<endl;
    cout<<"--------------------------------------------"<<endl;
}
else if (a==86953)
{
    cout<<"\n\n(-p -> -q) v r\n"<<endl;
   
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p -> -q | (-p -> -q) v r |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    B     |        B       |"<<endl;
    cout<<"| B |  S | B | S  | S |    B     |        B       |"<<endl;
    cout<<"| B |  S | S | B  | B |    B     |        B       |"<<endl;
    cout<<"| B |  S | S | B  | S |    B     |        B       |"<<endl;
    cout<<"| S |  B | B | S  | B |    S     |        B       |"<<endl;
    cout<<"| S |  B | B | S  | S |    S     |        S       |"<<endl;
    cout<<"| S |  B | S | B  | B |    B     |        B       |"<<endl;
    cout<<"| S |  B | S | B  | S |    B     |        B       |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
}
else if (a==16250)
{
    cout<<"\n\n(p -> q) v -r\n"<<endl;
   
    cout<<"-------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p -> q | (p -> q) v -r |"<<endl;
    cout<<"-------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B   |        B       |"<<endl;
    cout<<"| B | B | S |  B |   B   |        B       |"<<endl;
    cout<<"| B | S | B |  S |   S   |        S       |"<<endl;
    cout<<"| B | S | S |  B |   S   |        B       |"<<endl;
    cout<<"| S | B | B |  S |   B   |        B       |"<<endl;
    cout<<"| S | B | S |  B |   B   |        B       |"<<endl;
    cout<<"| S | S | B |  S |   B   |        B       |"<<endl;
    cout<<"| S | S | S |  B |   B   |        B       |"<<endl;
    cout<<"-------------------------------------------"<<endl;
}
else if (a==86250)
{
    cout<<"\n\n(-p -> q) v -r\n"<<endl;
   
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p -> q | (-p -> q) v -r |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    B    |        B       |"<<endl;
    cout<<"| B |  S | B | S |  B |    B    |        B       |"<<endl;
    cout<<"| B |  S | S | B |  S |    B    |        B       |"<<endl;
    cout<<"| B |  S | S | S |  B |    B    |        B       |"<<endl;
    cout<<"| S |  B | B | B |  S |    B    |        B       |"<<endl;
    cout<<"| S |  B | B | S |  B |    B    |        B       |"<<endl;
    cout<<"| S |  B | S | B |  S |    S    |        S       |"<<endl;
    cout<<"| S |  B | S | S |  B |    S    |        B       |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
}
else if (a==16950)
{
    cout<<"\n\n(p -> -q) v -r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p -> -q | (p -> -q) v -r |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S    |       S        |"<<endl;
    cout<<"| B | B | S  | S | B |    S    |       B        |"<<endl;
    cout<<"| B | S | B  | B | S |    B    |       B        |"<<endl;
    cout<<"| B | S | B  | S | B |    B    |       B        |"<<endl;
    cout<<"| S | B | S  | B | S |    B    |       B        |"<<endl;
    cout<<"| S | B | S  | S | B |    B    |       B        |"<<endl;
    cout<<"| S | S | B  | B | S |    B    |       B        |"<<endl;
    cout<<"| S | S | B  | S | B |    B    |       B        |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==86950)
{
    cout<<"\n\n(-p -> -q) v -r\n"<<endl;
   
    cout<<"---------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p -> -q | (-p -> -q) v -r |"<<endl;
    cout<<"---------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |     B    |        B        |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |     B    |        B        |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |     B    |        B        |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |     B    |        B        |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |     S    |        S        |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |     S    |        B        |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |     B    |        B        |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |     B    |        B        |"<<endl;
    cout<<"---------------------------------------------------------"<<endl;
}
else if (a==16263)
{
    cout<<"\n\n(p -> q) -> r\n"<<endl;
   
    cout<<"--------------------------------------"<<endl;
    cout<<"| p | q | r | p -> q | (p -> q) -> r |"<<endl;
    cout<<"--------------------------------------"<<endl;
    cout<<"| B | B | B |    B   |       B       |"<<endl;
    cout<<"| B | B | S |    B   |       S       |"<<endl;
    cout<<"| B | S | B |    S   |       B       |"<<endl;
    cout<<"| B | S | S |    S   |       B       |"<<endl;
    cout<<"| S | B | B |    B   |       B       |"<<endl;
    cout<<"| S | B | S |    B   |       S       |"<<endl;
    cout<<"| S | S | B |    B   |       B       |"<<endl;
    cout<<"| S | S | S |    B   |       S       |"<<endl;
    cout<<"--------------------------------------"<<endl;
}
else if (a==86263)
{
    cout<<"\n\n(-p -> q) -> r\n"<<endl;
   
    cout<<"----------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p -> q | (-p -> q) -> r  |"<<endl;
    cout<<"----------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    B    |        B        |"<<endl;
    cout<<"| B |  S | B | S |    B    |        S        |"<<endl;
    cout<<"| B |  S | S | B |    B    |        B        |"<<endl;
    cout<<"| B |  S | S | S |    B    |        S        |"<<endl;
    cout<<"| S |  B | B | B |    B    |        B        |"<<endl;
    cout<<"| S |  B | B | S |    B    |        S        |"<<endl;
    cout<<"| S |  B | S | B |    S    |        B        |"<<endl;
    cout<<"| S |  B | S | S |    S    |        B        |"<<endl;
    cout<<"----------------------------------------------"<<endl;
}
else if (a==16963)
{
    cout<<"\n\n(p -> -q) -> r\n"<<endl;
   
    cout<<"---------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p -> -q | (p -> -q) -> r |"<<endl;
    cout<<"---------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S    |       B        |"<<endl;
    cout<<"| B | B | S  | S |    S    |       B        |"<<endl;
    cout<<"| B | S | B  | B |    B    |       B        |"<<endl;
    cout<<"| B | S | B  | S |    B    |       S        |"<<endl;
    cout<<"| S | B | S  | B |    B    |       B        |"<<endl;
    cout<<"| S | B | S  | S |    B    |       S        |"<<endl;
    cout<<"| S | S | B  | B |    B    |       B        |"<<endl;
    cout<<"| S | S | B  | S |    B    |       S        |"<<endl;
    cout<<"---------------------------------------------"<<endl;
}
else if (a==86963)
{
    cout<<"\n\n(-p -> -q) -> r\n"<<endl;
   
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p -> -q | (-p -> -q) -> r |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    B     |        B        |"<<endl;
    cout<<"| B |  S | B | S  | S |    B     |        S        |"<<endl;
    cout<<"| B |  S | S | B  | B |    B     |        B        |"<<endl;
    cout<<"| B |  S | S | B  | S |    B     |        S        |"<<endl;
    cout<<"| S |  B | B | S  | B |    S     |        B        |"<<endl;
    cout<<"| S |  B | B | S  | S |    S     |        B        |"<<endl;
    cout<<"| S |  B | S | B  | B |    B     |        B        |"<<endl;
    cout<<"| S |  B | S | B  | S |    B     |        S        |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
}
else if (a==16260)
{
    cout<<"\n\n(p -> q) -> -r\n"<<endl;
   
    cout<<"--------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p -> q | (p -> q) -> -r |"<<endl;
    cout<<"--------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B    |       S        |"<<endl;
    cout<<"| B | B | S |  B |   B    |       B        |"<<endl;
    cout<<"| B | S | B |  S |   S    |       B        |"<<endl;
    cout<<"| B | S | S |  B |   S    |       B        |"<<endl;
    cout<<"| S | B | B |  S |   B    |       S        |"<<endl;
    cout<<"| S | B | S |  B |   B    |       B        |"<<endl;
    cout<<"| S | S | B |  S |   B    |       S        |"<<endl;
    cout<<"| S | S | S |  B |   B    |       B        |"<<endl;
    cout<<"--------------------------------------------"<<endl;
}
else if (a==86260)
{
    cout<<"\n\n(-p -> q) -> -r\n"<<endl;
   
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p -> q | (-p -> q) -> -r |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    B    |        S        |"<<endl;
    cout<<"| B |  S | B | S |  B |    B    |        B        |"<<endl;
    cout<<"| B |  S | S | B |  S |    B    |        S        |"<<endl;
    cout<<"| B |  S | S | S |  B |    B    |        B        |"<<endl;
    cout<<"| S |  B | B | B |  S |    B    |        S        |"<<endl;
    cout<<"| S |  B | B | S |  B |    B    |        B        |"<<endl;
    cout<<"| S |  B | S | B |  S |    S    |        B        |"<<endl;
    cout<<"| S |  B | S | S |  B |    S    |        B        |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
}
else if (a==16960)
{
    cout<<"\n\n(p -> -q) -> -r\n"<<endl;
   
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p -> -q | (p -> -q) -> -r |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S    |        B        |"<<endl;
    cout<<"| B | B | S  | S | B |    S    |        B        |"<<endl;
    cout<<"| B | S | B  | B | S |    B    |        S        |"<<endl;
    cout<<"| B | S | B  | S | B |    B    |        B        |"<<endl;
    cout<<"| S | B | S  | B | S |    B    |        S        |"<<endl;
    cout<<"| S | B | S  | S | B |    B    |        B        |"<<endl;
    cout<<"| S | S | B  | B | S |    B    |        S        |"<<endl;
    cout<<"| S | S | B  | S | B |    B    |        B        |"<<endl;
    cout<<"--------------------------------------------------"<<endl;
}
else if (a==86960)
{
    cout<<"\n\n(-p -> -q) -> -r\n"<<endl;
   
    cout<<"----------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p -> -q | (-p -> -q) -> -r |"<<endl;
    cout<<"----------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |     B    |        S         |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |     B    |        B         |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |     B    |        S         |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |     B    |        B         |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |     S    |        B         |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |     S    |        B         |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |     B    |        S         |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |     B    |        B         |"<<endl;
    cout<<"----------------------------------------------------------"<<endl;
}
else if (a==16273)
{
    cout<<"\n\n(p -> q) <-> r\n"<<endl;
   
    cout<<"---------------------------------------"<<endl;
    cout<<"| p | q | r | p -> q | (p -> q) <-> r |"<<endl;
    cout<<"---------------------------------------"<<endl;
    cout<<"| B | B | B |    B   |        B       |"<<endl;
    cout<<"| B | B | S |    B   |        S       |"<<endl;
    cout<<"| B | S | B |    S   |        S       |"<<endl;
    cout<<"| B | S | S |    S   |        B       |"<<endl;
    cout<<"| S | B | B |    B   |        B       |"<<endl;
    cout<<"| S | B | S |    B   |        S       |"<<endl;
    cout<<"| S | S | B |    B   |        B       |"<<endl;
    cout<<"| S | S | S |    B   |        S       |"<<endl;
    cout<<"---------------------------------------"<<endl;
}
else if (a==86273)
{
    cout<<"\n\n(-p -> q) <-> r\n"<<endl;
   
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p -> q | (-p -> q) <-> r  |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    B    |         B        |"<<endl;
    cout<<"| B |  S | B | S |    B    |         S        |"<<endl;
    cout<<"| B |  S | S | B |    B    |         B        |"<<endl;
    cout<<"| B |  S | S | S |    B    |         S        |"<<endl;
    cout<<"| S |  B | B | B |    B    |         B        |"<<endl;
    cout<<"| S |  B | B | S |    B    |         S        |"<<endl;
    cout<<"| S |  B | S | B |    S    |         S        |"<<endl;
    cout<<"| S |  B | S | S |    S    |         B        |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
}
else if (a==16973)
{
    cout<<"\n\n(p -> -q) <-> r\n"<<endl;
   
    cout<<"----------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p -> -q | (p -> -q) <-> r |"<<endl;
    cout<<"----------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S    |        S        |"<<endl;
    cout<<"| B | B | S  | S |    S    |        B        |"<<endl;
    cout<<"| B | S | B  | B |    B    |        B        |"<<endl;
    cout<<"| B | S | B  | S |    B    |        S        |"<<endl;
    cout<<"| S | B | S  | B |    B    |        B        |"<<endl;
    cout<<"| S | B | S  | S |    B    |        S        |"<<endl;
    cout<<"| S | S | B  | B |    B    |        B        |"<<endl;
    cout<<"| S | S | B  | S |    B    |        S        |"<<endl;
    cout<<"----------------------------------------------"<<endl;
}
else if (a==86973)
{
    cout<<"\n\n(-p -> -q) <-> r\n"<<endl;
   
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p -> -q | (-p -> -q) <-> r |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |    B     |         B        |"<<endl;
    cout<<"| B |  S | B | S  | S |    B     |         S        |"<<endl;
    cout<<"| B |  S | S | B  | B |    B     |         B        |"<<endl;
    cout<<"| B |  S | S | B  | S |    B     |         S        |"<<endl;
    cout<<"| S |  B | B | S  | B |    S     |         S        |"<<endl;
    cout<<"| S |  B | B | S  | S |    S     |         B        |"<<endl;
    cout<<"| S |  B | S | B  | B |    B     |         B        |"<<endl;
    cout<<"| S |  B | S | B  | S |    B     |         S        |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
}
else if (a==16270)
{
    cout<<"\n\n(p -> q) <-> -r\n"<<endl;
   
    cout<<"---------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p -> q | (p -> q) <-> -r |"<<endl;
    cout<<"---------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |   B    |        S        |"<<endl;
    cout<<"| B | B | S |  B |   B    |        B        |"<<endl;
    cout<<"| B | S | B |  S |   S    |        B        |"<<endl;
    cout<<"| B | S | S |  B |   S    |        S        |"<<endl;
    cout<<"| S | B | B |  S |   B    |        S        |"<<endl;
    cout<<"| S | B | S |  B |   B    |        B        |"<<endl;
    cout<<"| S | S | B |  S |   B    |        S        |"<<endl;
    cout<<"| S | S | S |  B |   B    |        B        |"<<endl;
    cout<<"---------------------------------------------"<<endl;
}
else if (a==86270)
{
    cout<<"\n\n(-p -> q) <-> -r\n"<<endl;
   
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p -> q | (-p -> q) <-> -r |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |    B    |         S        |"<<endl;
    cout<<"| B |  S | B | S |  B |    B    |         B        |"<<endl;
    cout<<"| B |  S | S | B |  S |    B    |         S        |"<<endl;
    cout<<"| B |  S | S | S |  B |    B    |         B        |"<<endl;
    cout<<"| S |  B | B | B |  S |    B    |         S        |"<<endl;
    cout<<"| S |  B | B | S |  B |    B    |         B        |"<<endl;
    cout<<"| S |  B | S | B |  S |    S    |         B        |"<<endl;
    cout<<"| S |  B | S | S |  B |    S    |         S        |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
}
else if (a==16970)
{
    cout<<"\n\n(p -> -q) <-> -r\n"<<endl;
   
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p -> -q | (p -> -q) <-> -r |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S    |         B        |"<<endl;
    cout<<"| B | B | S  | S | B |    S    |         S        |"<<endl;
    cout<<"| B | S | B  | B | S |    B    |         S        |"<<endl;
    cout<<"| B | S | B  | S | B |    B    |         B        |"<<endl;
    cout<<"| S | B | S  | B | S |    B    |         S        |"<<endl;
    cout<<"| S | B | S  | S | B |    B    |         B        |"<<endl;
    cout<<"| S | S | B  | B | S |    B    |         S        |"<<endl;
    cout<<"| S | S | B  | S | B |    B    |         B        |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
}
else if (a==86970)
{
    cout<<"\n\n(-p -> -q) <-> -r\n"<<endl;
   
    cout<<"-----------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p -> -q | (-p -> -q) <-> -r |"<<endl;
    cout<<"-----------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |     B    |         S         |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |     B    |         B         |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |     B    |         S         |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |     B    |         B         |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |     S    |         B         |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |     S    |         S         |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |     B    |         S         |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |     B    |         B         |"<<endl;
    cout<<"-----------------------------------------------------------"<<endl;
}
else if (a==17243)
{
    cout<<"\n\n(p <-> q) ^ r\n"<<endl;
   
    cout<<"---------------------------------------"<<endl;
    cout<<"| p | q | r | p <-> q | (p <-> q) ^ r |"<<endl;
    cout<<"---------------------------------------"<<endl;
    cout<<"| B | B | B |    B    |       B       |"<<endl;
    cout<<"| B | B | S |    B    |       S       |"<<endl;
    cout<<"| B | S | B |    S    |       S       |"<<endl;
    cout<<"| B | S | S |    S    |       S       |"<<endl;
    cout<<"| S | B | B |    S    |       S       |"<<endl;
    cout<<"| S | B | S |    S    |       S       |"<<endl;
    cout<<"| S | S | B |    B    |       B       |"<<endl;
    cout<<"| S | S | S |    B    |       S       |"<<endl;
    cout<<"---------------------------------------"<<endl;
}
else if (a==87243)
{
    cout<<"\n\n(-p <-> q) ^ r\n"<<endl;
   
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p <-> q | (-p <-> q) ^ r  |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    S     |        S        |"<<endl;
    cout<<"| B |  S | B | S |    S     |        S        |"<<endl;
    cout<<"| B |  S | S | B |    B     |        B        |"<<endl;
    cout<<"| B |  S | S | S |    B     |        S        |"<<endl;
    cout<<"| S |  B | B | B |    B     |        B        |"<<endl;
    cout<<"| S |  B | B | S |    B     |        S        |"<<endl;
    cout<<"| S |  B | S | B |    S     |        S        |"<<endl;
    cout<<"| S |  B | S | S |    S     |        S        |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
}
else if (a==17943)
{
    cout<<"\n\n(p <-> -q) ^ r\n"<<endl;
   
    cout<<"----------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p <-> -q | (p <-> -q) ^ r |"<<endl;
    cout<<"----------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S     |       S        |"<<endl;
    cout<<"| B | B | S  | S |    S     |       S        |"<<endl;
    cout<<"| B | S | B  | B |    B     |       B        |"<<endl;
    cout<<"| B | S | B  | S |    B     |       S        |"<<endl;
    cout<<"| S | B | S  | B |    B     |       B        |"<<endl;
    cout<<"| S | B | S  | S |    B     |       S        |"<<endl;
    cout<<"| S | S | B  | B |    S     |       S        |"<<endl;
    cout<<"| S | S | B  | S |    S     |       S        |"<<endl;
    cout<<"----------------------------------------------"<<endl;
}
else if (a==87943)
{
    cout<<"\n\n(-p <-> -q) ^ r\n"<<endl;
   
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p <-> -q | (-p <-> -q) ^ r |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |     B     |        B        |"<<endl;
    cout<<"| B |  S | B | S  | S |     B     |        S        |"<<endl;
    cout<<"| B |  S | S | B  | B |     S     |        S        |"<<endl;
    cout<<"| B |  S | S | B  | S |     S     |        S        |"<<endl;
    cout<<"| S |  B | B | S  | B |     S     |        S        |"<<endl;
    cout<<"| S |  B | B | S  | S |     S     |        S        |"<<endl;
    cout<<"| S |  B | S | B  | B |     B     |        B        |"<<endl;
    cout<<"| S |  B | S | B  | S |     B     |        S        |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
}
else if (a==17240)
{
    cout<<"\n\n(p <-> q) ^ -r\n"<<endl;
   
    cout<<"---------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p <-> q | (p <-> q) ^ -r |"<<endl;
    cout<<"---------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |    B    |        S       |"<<endl;
    cout<<"| B | B | S |  B |    B    |        B       |"<<endl;
    cout<<"| B | S | B |  S |    S    |        S       |"<<endl;
    cout<<"| B | S | S |  B |    S    |        S       |"<<endl;
    cout<<"| S | B | B |  S |    S    |        S       |"<<endl;
    cout<<"| S | B | S |  B |    S    |        S       |"<<endl;
    cout<<"| S | S | B |  S |    B    |        S       |"<<endl;
    cout<<"| S | S | S |  B |    B    |        B       |"<<endl;
    cout<<"---------------------------------------------"<<endl;
}
else if (a==87240)
{
    cout<<"\n\n(-p <-> q) ^ -r\n"<<endl;
   
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p <-> q | (-p <-> q) ^ -r |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |     S    |        S        |"<<endl;
    cout<<"| B |  S | B | S |  B |     S    |        S        |"<<endl;
    cout<<"| B |  S | S | B |  S |     B    |        S        |"<<endl;
    cout<<"| B |  S | S | S |  B |     B    |        B        |"<<endl;
    cout<<"| S |  B | B | B |  S |     B    |        S        |"<<endl;
    cout<<"| S |  B | B | S |  B |     B    |        B        |"<<endl;
    cout<<"| S |  B | S | B |  S |     S    |        S        |"<<endl;
    cout<<"| S |  B | S | S |  B |     S    |        S        |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
}
else if (a==17940)
{
    cout<<"\n\n(p <-> -q) ^ -r\n"<<endl;
   
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p <-> -q | (p <-> -q) ^ -r |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S     |        S        |"<<endl;
    cout<<"| B | B | S  | S | B |    S     |        S        |"<<endl;
    cout<<"| B | S | B  | B | S |    B     |        S        |"<<endl;
    cout<<"| B | S | B  | S | B |    B     |        B        |"<<endl;
    cout<<"| S | B | S  | B | S |    B     |        S        |"<<endl;
    cout<<"| S | B | S  | S | B |    B     |        B        |"<<endl;
    cout<<"| S | S | B  | B | S |    S     |        S        |"<<endl;
    cout<<"| S | S | B  | S | B |    S     |        S        |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
}
else if (a==87940)
{
    cout<<"\n\n(-p <-> -q) ^ -r\n"<<endl;
   
    cout<<"-----------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p <-> -q | (-p <-> -q) ^ -r |"<<endl;
    cout<<"-----------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |     B     |         S        |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |     B     |         B        |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |     S     |         S        |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |     S     |         S        |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |     S     |         S        |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |     S     |         S        |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |     B     |         S        |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |     B     |         B        |"<<endl;
    cout<<"-----------------------------------------------------------"<<endl;
}
else if (a==17253)
{
    cout<<"\n\n(p <-> q) v r\n"<<endl;
   
    cout<<"---------------------------------------"<<endl;
    cout<<"| p | q | r | p <-> q | (p <-> q) v r |"<<endl;
    cout<<"---------------------------------------"<<endl;
    cout<<"| B | B | B |    B    |       B       |"<<endl;
    cout<<"| B | B | S |    B    |       B       |"<<endl;
    cout<<"| B | S | B |    S    |       B       |"<<endl;
    cout<<"| B | S | S |    S    |       S       |"<<endl;
    cout<<"| S | B | B |    S    |       B       |"<<endl;
    cout<<"| S | B | S |    S    |       S       |"<<endl;
    cout<<"| S | S | B |    B    |       B       |"<<endl;
    cout<<"| S | S | S |    B    |       B       |"<<endl;
    cout<<"---------------------------------------"<<endl;
}
else if (a==87253)
{
    cout<<"\n\n(-p <-> q) v r\n"<<endl;
   
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p <-> q | (-p <-> q) v r  |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    S     |        B        |"<<endl;
    cout<<"| B |  S | B | S |    S     |        S        |"<<endl;
    cout<<"| B |  S | S | B |    B     |        B        |"<<endl;
    cout<<"| B |  S | S | S |    B     |        B        |"<<endl;
    cout<<"| S |  B | B | B |    B     |        B        |"<<endl;
    cout<<"| S |  B | B | S |    B     |        B        |"<<endl;
    cout<<"| S |  B | S | B |    S     |        B        |"<<endl;
    cout<<"| S |  B | S | S |    S     |        S        |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
}
else if (a==17953)
{
    cout<<"\n\n(p <-> -q) v r\n"<<endl;
   
    cout<<"----------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p <-> -q | (p <-> -q) v r |"<<endl;
    cout<<"----------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S     |       B        |"<<endl;
    cout<<"| B | B | S  | S |    S     |       S        |"<<endl;
    cout<<"| B | S | B  | B |    B     |       B        |"<<endl;
    cout<<"| B | S | B  | S |    B     |       B        |"<<endl;
    cout<<"| S | B | S  | B |    B     |       B        |"<<endl;
    cout<<"| S | B | S  | S |    B     |       B        |"<<endl;
    cout<<"| S | S | B  | B |    S     |       B        |"<<endl;
    cout<<"| S | S | B  | S |    S     |       S        |"<<endl;
    cout<<"----------------------------------------------"<<endl;
}
else if (a==87953)
{
    cout<<"\n\n(-p <-> -q) v r\n"<<endl;
   
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p <-> -q | (-p <-> -q) v r |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |     B     |        B        |"<<endl;
    cout<<"| B |  S | B | S  | S |     B     |        B        |"<<endl;
    cout<<"| B |  S | S | B  | B |     S     |        B        |"<<endl;
    cout<<"| B |  S | S | B  | S |     S     |        S        |"<<endl;
    cout<<"| S |  B | B | S  | B |     S     |        B        |"<<endl;
    cout<<"| S |  B | B | S  | S |     S     |        S        |"<<endl;
    cout<<"| S |  B | S | B  | B |     B     |        B        |"<<endl;
    cout<<"| S |  B | S | B  | S |     B     |        B        |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
}
else if (a==17250)
{
    cout<<"\n\n(p <-> q) v -r\n"<<endl;
   
    cout<<"---------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p <-> q | (p <-> q) v -r |"<<endl;
    cout<<"---------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |    B    |        B       |"<<endl;
    cout<<"| B | B | S |  B |    B    |        B       |"<<endl;
    cout<<"| B | S | B |  S |    S    |        S       |"<<endl;
    cout<<"| B | S | S |  B |    S    |        B       |"<<endl;
    cout<<"| S | B | B |  S |    S    |        S       |"<<endl;
    cout<<"| S | B | S |  B |    S    |        B       |"<<endl;
    cout<<"| S | S | B |  S |    B    |        B       |"<<endl;
    cout<<"| S | S | S |  B |    B    |        B       |"<<endl;
    cout<<"---------------------------------------------"<<endl;
}
else if (a==87250)
{
    cout<<"\n\n(-p <-> q) v -r\n"<<endl;
   
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p <-> q | (-p <-> q) v -r |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |     S    |        S        |"<<endl;
    cout<<"| B |  S | B | S |  B |     S    |        B        |"<<endl;
    cout<<"| B |  S | S | B |  S |     B    |        B        |"<<endl;
    cout<<"| B |  S | S | S |  B |     B    |        B        |"<<endl;
    cout<<"| S |  B | B | B |  S |     B    |        B        |"<<endl;
    cout<<"| S |  B | B | S |  B |     B    |        B        |"<<endl;
    cout<<"| S |  B | S | B |  S |     S    |        S        |"<<endl;
    cout<<"| S |  B | S | S |  B |     S    |        B        |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
}
else if (a==17950)
{
    cout<<"\n\n(p <-> -q) v -r\n"<<endl;
   
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p <-> -q | (p <-> -q) v -r |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S     |        S        |"<<endl;
    cout<<"| B | B | S  | S | B |    S     |        B        |"<<endl;
    cout<<"| B | S | B  | B | S |    B     |        B        |"<<endl;
    cout<<"| B | S | B  | S | B |    B     |        B        |"<<endl;
    cout<<"| S | B | S  | B | S |    B     |        B        |"<<endl;
    cout<<"| S | B | S  | S | B |    B     |        B        |"<<endl;
    cout<<"| S | S | B  | B | S |    S     |        S        |"<<endl;
    cout<<"| S | S | B  | S | B |    S     |        B        |"<<endl;
    cout<<"---------------------------------------------------"<<endl;
}
else if (a==87950)
{
    cout<<"\n\n(-p <-> -q) v -r\n"<<endl;
   
    cout<<"-----------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p <-> -q | (-p <-> -q) v -r |"<<endl;
    cout<<"-----------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |     B     |         B        |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |     B     |         B        |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |     S     |         S        |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |     S     |         B        |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |     S     |         S        |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |     S     |         B        |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |     B     |         B        |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |     B     |         B        |"<<endl;
    cout<<"-----------------------------------------------------------"<<endl;
}
else if (a==17263)
{
    cout<<"\n\n(p <-> q) -> r\n"<<endl;
   
    cout<<"----------------------------------------"<<endl;
    cout<<"| p | q | r | p <-> q | (p <-> q) -> r |"<<endl;
    cout<<"----------------------------------------"<<endl;
    cout<<"| B | B | B |    B    |        B       |"<<endl;
    cout<<"| B | B | S |    B    |        S       |"<<endl;
    cout<<"| B | S | B |    S    |        B       |"<<endl;
    cout<<"| B | S | S |    S    |        B       |"<<endl;
    cout<<"| S | B | B |    S    |        B       |"<<endl;
    cout<<"| S | B | S |    S    |        B       |"<<endl;
    cout<<"| S | S | B |    B    |        B       |"<<endl;
    cout<<"| S | S | S |    B    |        S       |"<<endl;
    cout<<"----------------------------------------"<<endl;
}
else if (a==87263)
{
    cout<<"\n\n(-p <-> q) -> r\n"<<endl;
   
    cout<<"------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p <-> q | (-p <-> q) -> r  |"<<endl;
    cout<<"------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    S     |         B        |"<<endl;
    cout<<"| B |  S | B | S |    S     |         B        |"<<endl;
    cout<<"| B |  S | S | B |    B     |         B        |"<<endl;
    cout<<"| B |  S | S | S |    B     |         S        |"<<endl;
    cout<<"| S |  B | B | B |    B     |         B        |"<<endl;
    cout<<"| S |  B | B | S |    B     |         S        |"<<endl;
    cout<<"| S |  B | S | B |    S     |         B        |"<<endl;
    cout<<"| S |  B | S | S |    S     |         B        |"<<endl;
    cout<<"------------------------------------------------"<<endl;
}
else if (a==17963)
{
    cout<<"\n\n(p <-> -q) -> r\n"<<endl;
   
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p <-> -q | (p <-> -q) -> r |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S     |        B        |"<<endl;
    cout<<"| B | B | S  | S |    S     |        B        |"<<endl;
    cout<<"| B | S | B  | B |    B     |        B        |"<<endl;
    cout<<"| B | S | B  | S |    B     |        S        |"<<endl;
    cout<<"| S | B | S  | B |    B     |        B        |"<<endl;
    cout<<"| S | B | S  | S |    B     |        S        |"<<endl;
    cout<<"| S | S | B  | B |    S     |        B        |"<<endl;
    cout<<"| S | S | B  | S |    S     |        B        |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
}
else if (a==87963)
{
    cout<<"\n\n(-p <-> -q) -> r\n"<<endl;
   
    cout<<"------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p <-> -q | (-p <-> -q) -> r |"<<endl;
    cout<<"------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |     B     |         B        |"<<endl;
    cout<<"| B |  S | B | S  | S |     B     |         S        |"<<endl;
    cout<<"| B |  S | S | B  | B |     S     |         B        |"<<endl;
    cout<<"| B |  S | S | B  | S |     S     |         B        |"<<endl;
    cout<<"| S |  B | B | S  | B |     S     |         B        |"<<endl;
    cout<<"| S |  B | B | S  | S |     S     |         B        |"<<endl;
    cout<<"| S |  B | S | B  | B |     B     |         B        |"<<endl;
    cout<<"| S |  B | S | B  | S |     B     |         S        |"<<endl;
    cout<<"------------------------------------------------------"<<endl;
}
else if (a==17260)
{
    cout<<"\n\n(p <-> q) -> -r\n"<<endl;
   
    cout<<"----------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p <-> q | (p <-> q) -> -r |"<<endl;
    cout<<"----------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |    B    |        S        |"<<endl;
    cout<<"| B | B | S |  B |    B    |        B        |"<<endl;
    cout<<"| B | S | B |  S |    S    |        B        |"<<endl;
    cout<<"| B | S | S |  B |    S    |        B        |"<<endl;
    cout<<"| S | B | B |  S |    S    |        B        |"<<endl;
    cout<<"| S | B | S |  B |    S    |        B        |"<<endl;
    cout<<"| S | S | B |  S |    B    |        S        |"<<endl;
    cout<<"| S | S | S |  B |    B    |        B        |"<<endl;
    cout<<"----------------------------------------------"<<endl;
}
else if (a==87260)
{
    cout<<"\n\n(-p <-> q) -> -r\n"<<endl;
   
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p <-> q | (-p <-> q) -> -r |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |     S    |         B        |"<<endl;
    cout<<"| B |  S | B | S |  B |     S    |         B        |"<<endl;
    cout<<"| B |  S | S | B |  S |     B    |         S        |"<<endl;
    cout<<"| B |  S | S | S |  B |     B    |         B        |"<<endl;
    cout<<"| S |  B | B | B |  S |     B    |         S        |"<<endl;
    cout<<"| S |  B | B | S |  B |     B    |         B        |"<<endl;
    cout<<"| S |  B | S | B |  S |     S    |         B        |"<<endl;
    cout<<"| S |  B | S | S |  B |     S    |         B        |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
}
else if (a==17960)
{
    cout<<"\n\n(p <-> -q) -> -r\n"<<endl;
   
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p <-> -q | (p <-> -q) -> -r |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S     |         B        |"<<endl;
    cout<<"| B | B | S  | S | B |    S     |         B        |"<<endl;
    cout<<"| B | S | B  | B | S |    B     |         S        |"<<endl;
    cout<<"| B | S | B  | S | B |    B     |         B        |"<<endl;
    cout<<"| S | B | S  | B | S |    B     |         S        |"<<endl;
    cout<<"| S | B | S  | S | B |    B     |         B        |"<<endl;
    cout<<"| S | S | B  | B | S |    S     |         B        |"<<endl;
    cout<<"| S | S | B  | S | B |    S     |         B        |"<<endl;
    cout<<"----------------------------------------------------"<<endl;
}
if (a==87960)
{
    cout<<"\n\n(-p <-> -q) -> -r\n"<<endl;
   
    cout<<"------------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p <-> -q | (-p <-> -q) -> -r |"<<endl;
    cout<<"------------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |     B     |          S        |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |     B     |          B        |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |     S     |          B        |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |     S     |          B        |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |     S     |          B        |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |     S     |          B        |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |     B     |          S        |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |     B     |          B        |"<<endl;
    cout<<"------------------------------------------------------------"<<endl;
}
else if (a==17273)
{
    cout<<"\n\n(p <-> q) <-> r\n"<<endl;
   
    cout<<"-----------------------------------------"<<endl;
    cout<<"| p | q | r | p <-> q | (p <-> q) <-> r |"<<endl;
    cout<<"-----------------------------------------"<<endl;
    cout<<"| B | B | B |    B    |        B        |"<<endl;
    cout<<"| B | B | S |    B    |        S        |"<<endl;
    cout<<"| B | S | B |    S    |        S        |"<<endl;
    cout<<"| B | S | S |    S    |        B        |"<<endl;
    cout<<"| S | B | B |    S    |        S        |"<<endl;
    cout<<"| S | B | S |    S    |        B        |"<<endl;
    cout<<"| S | S | B |    B    |        B        |"<<endl;
    cout<<"| S | S | S |    B    |        S        |"<<endl;
    cout<<"-----------------------------------------"<<endl;
}
if (a==87273)
{
    cout<<"\n\n(-p <-> q) <-> r\n"<<endl;
   
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -p <-> q | (-p <-> q) <-> r  |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |    S     |         S         |"<<endl;
    cout<<"| B |  S | B | S |    S     |         B         |"<<endl;
    cout<<"| B |  S | S | B |    B     |         B         |"<<endl;
    cout<<"| B |  S | S | S |    B     |         S         |"<<endl;
    cout<<"| S |  B | B | B |    B     |         B         |"<<endl;
    cout<<"| S |  B | B | S |    B     |         S         |"<<endl;
    cout<<"| S |  B | S | B |    S     |         S         |"<<endl;
    cout<<"| S |  B | S | S |    S     |         B         |"<<endl;
    cout<<"-------------------------------------------------"<<endl;
}
else if (a==17973)
{
    cout<<"\n\n(p <-> -q) <-> r\n"<<endl;
   
    cout<<"------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r | p <-> -q | (p <-> -q) <-> r |"<<endl;
    cout<<"------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B |    S     |         S        |"<<endl;
    cout<<"| B | B | S  | S |    S     |         B        |"<<endl;
    cout<<"| B | S | B  | B |    B     |         B        |"<<endl;
    cout<<"| B | S | B  | S |    B     |         S        |"<<endl;
    cout<<"| S | B | S  | B |    B     |         B        |"<<endl;
    cout<<"| S | B | S  | S |    B     |         S        |"<<endl;
    cout<<"| S | S | B  | B |    S     |         S        |"<<endl;
    cout<<"| S | S | B  | S |    S     |         B        |"<<endl;
    cout<<"------------------------------------------------"<<endl;
}
if (a==87973)
{
    cout<<"\n\n(-p <-> -q) <-> r\n"<<endl;
   
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -p <-> -q | (-p <-> -q) <-> r |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |     B     |          B        |"<<endl;
    cout<<"| B |  S | B | S  | S |     B     |          S        |"<<endl;
    cout<<"| B |  S | S | B  | B |     S     |          S        |"<<endl;
    cout<<"| B |  S | S | B  | S |     S     |          B        |"<<endl;
    cout<<"| S |  B | B | S  | B |     S     |          S        |"<<endl;
    cout<<"| S |  B | B | S  | S |     S     |          B        |"<<endl;
    cout<<"| S |  B | S | B  | B |     B     |          B        |"<<endl;
    cout<<"| S |  B | S | B  | S |     B     |          S        |"<<endl;
    cout<<"-------------------------------------------------------"<<endl;
}
else if (a==17270)
{
    cout<<"\n\n(p <-> q) <-> -r\n"<<endl;
   
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| p | q | r | -r | p <-> q | (p <-> q) <-> -r |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
    cout<<"| B | B | B |  S |    B    |        S         |"<<endl;
    cout<<"| B | B | S |  B |    B    |        B         |"<<endl;
    cout<<"| B | S | B |  S |    S    |        B         |"<<endl;
    cout<<"| B | S | S |  B |    S    |        S         |"<<endl;
    cout<<"| S | B | B |  S |    S    |        B         |"<<endl;
    cout<<"| S | B | S |  B |    S    |        S         |"<<endl;
    cout<<"| S | S | B |  S |    B    |        S         |"<<endl;
    cout<<"| S | S | S |  B |    B    |        B         |"<<endl;
    cout<<"-----------------------------------------------"<<endl;
}
if (a==87270)
{
    cout<<"\n\n(-p <-> q) <-> -r\n"<<endl;
   
    cout<<"------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | r | -r | -p <-> q | (-p <-> q) <-> -r |"<<endl;
    cout<<"------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | B |  S |     S    |         B         |"<<endl;
    cout<<"| B |  S | B | S |  B |     S    |         S         |"<<endl;
    cout<<"| B |  S | S | B |  S |     B    |         S         |"<<endl;
    cout<<"| B |  S | S | S |  B |     B    |         B         |"<<endl;
    cout<<"| S |  B | B | B |  S |     B    |         S         |"<<endl;
    cout<<"| S |  B | B | S |  B |     B    |         B         |"<<endl;
    cout<<"| S |  B | S | B |  S |     S    |         B         |"<<endl;
    cout<<"| S |  B | S | S |  B |     S    |         S         |"<<endl;
    cout<<"------------------------------------------------------"<<endl;
}
else if (a==17970)
{
    cout<<"\n\n(p <-> -q) <-> -r\n"<<endl;
   
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| p | q | -q | r |-r | p <-> -q | (p <-> -q) <-> -r |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
    cout<<"| B | B | S  | B | S |    S     |         B         |"<<endl;
    cout<<"| B | B | S  | S | B |    S     |         S         |"<<endl;
    cout<<"| B | S | B  | B | S |    B     |         S         |"<<endl;
    cout<<"| B | S | B  | S | B |    B     |         B         |"<<endl;
    cout<<"| S | B | S  | B | S |    B     |         S         |"<<endl;
    cout<<"| S | B | S  | S | B |    B     |         B         |"<<endl;
    cout<<"| S | S | B  | B | S |    S     |         B         |"<<endl;
    cout<<"| S | S | B  | S | B |    S     |         S         |"<<endl;
    cout<<"-----------------------------------------------------"<<endl;
}
if (a==87970)
{
    cout<<"\n\n(-p <-> -q) <-> -r\n"<<endl;
   
    cout<<"-------------------------------------------------------------"<<endl;
    cout<<"| p | -p | q | -q | r | -r | -p <-> -q | (-p <-> -q) <-> -r |"<<endl;
    cout<<"-------------------------------------------------------------"<<endl;
    cout<<"| B |  S | B | S  | B |  S |     B     |          S         |"<<endl;
    cout<<"| B |  S | B | S  | S |  B |     B     |          B         |"<<endl;
    cout<<"| B |  S | S | B  | B |  S |     S     |          B         |"<<endl;
    cout<<"| B |  S | S | B  | S |  B |     S     |          S         |"<<endl;
    cout<<"| S |  B | B | S  | B |  S |     S     |          B         |"<<endl;
    cout<<"| S |  B | B | S  | S |  B |     S     |          S         |"<<endl;
    cout<<"| S |  B | S | B  | B |  S |     B     |          S         |"<<endl;
    cout<<"| S |  B | S | B  | S |  B |     B     |          B         |"<<endl;
    cout<<"-------------------------------------------------------------"<<endl;
}

int d;
cout<<"\n\n(Catatan : Bila tidak ada hasil yang keluar maka struktur anda salah)"<<endl;

b:;
int c;
cout<<"\n\nMau coba lagi??"<<endl;
cout<<"(1=ya, 0=tidak)"<<endl;
cin>>c;

if (c==1)
{
goto a;
}
else if (c==0)
{
 goto c;
}
else
{
 cout<<"\nWah anda gak baca perintahnya yah?? coba baca lagi..."<<endl;
goto b;
}

c:;
cout<<"Butuh tips untuk menjawab??"<<endl;
cout<<"(1=ya, 0=tidak)"<<endl;
cin>>d;

if(d==1)
{
cout<<"\n\nKonjungsi(^)= Pada masalah ini yang perlu diperhatikan adalah pernyataan"<<endl;
cout<<"              B ^ B selain pernyataan ini, hasil pernyataan lain adalah S..."<<endl;
cout<<"\nDisjungsi(v)= Pada masalah ini yang perlu diperhatikan adalah pernyataan"<<endl;
cout<<"              S v S selain pernyataan ini, hasil pernyataan lain adalah B..."<<endl;
cout<<"\nImplikasi (->)= Pada masalah ini yang perlu diperhatikan adalah pernyataan"<<endl;
cout<<"                B -> S selain pernyataan ini, hasil pernyataan lain adalah B..."<<endl;
cout<<"\nBiimplikasi (<->)= Pada masalah ini yang perlu diperhatikan adalah pernyataan"<<endl;
cout<<"                   B <-> B dan S <-> S selain kedua pernyataan ini, hasil"<<endl;
cout<<"                   dari pernyataan lain adalah S..."<<endl;

d:;
int c;
cout<<"\n\nMau coba lagi??"<<endl;
cout<<"(1=ya, 0=tidak)"<<endl;
cin>>c;

if (c==1)
{
goto a;
}
else if (c==0)
{
 cout<<"\n\nTerima kasih telah menggunakan program ini..."<<endl;
 cout<<"Press any key to exit..."<<endl;
}
else
{
 cout<<"\nWah anda gak baca perintahnya yah?? coba baca lagi..."<<endl;
goto d;
}


}

else if(d==0)
{
cout<<"\n\nTerima kasih telah menggunakan program ini..."<<endl;
 cout<<"Press any key to exit..."<<endl;
}
else
{
 cout<<"\nWah anda gak baca perintahnya yah?? coba baca lagi...\n\n"<<endl;
goto c;
}


getch();


}

<<HALAMAN UTAMA