#include <iostream>
#include <string>
/* run this program using the console pauser or add your own getch, system("pause") or input loop */
using namespace std;
class Formula
{
	public:
	virtual void metoda()
	{
		cout<<"alfa";
	}
};
class koniunkcja:public Formula
{
	public:
	void metoda()
	{
		cout<<"alfa & beta";
	}
};
class alternatywa:public Formula{
	public:
	void metoda()
	{
		cout<<"alfa v beta";
	}
};
class implikacja:public Formula{
	public:
	void metoda()
	{
		cout<<"alfa -> beta";
	}
};
class rownowaznosc:public Formula{
	public:
	void metoda()
	{
	cout<<"alfa wttw beta";
	}
};
int main(int argc, char** argv) {
//	int n;
//	cout<<"Ile chcesz wprowadzic formul?"<<endl;
//	cin>>n;
	Formula tab[5];
	int a;
	cout<<"Podaj jakie interesuja Ciebie formuly"<<endl<<"1 - JakasFormula 2 - koniunkcja 3 - alternatywa 4 - implikacja 5  - rownowaznosc 6 - zadna"<<endl;
	for(int i = 0;i<5;i++)
	{
		cin>>a;
		switch (a)
		{
			case 1: Formula formula1;
					formula1 = tab[i];
					tab[i].metoda();
					break;
			case 2: koniunkcja formula2;
					formula2 = tab[i];
					tab[i].metoda();
					break;
			case 3: alternatywa formula3;
					formula3 = tab[i];
					tab[i].metoda();
					break;
			case 4: implikacja formula4;
					formula4 = tab[i];
					tab[i].metoda();
					break;
			case 5: rownowaznosc formula5;
					formula5 = tab[i];
					tab[i].metoda();
					break;
			case 6: cout<<"zadna mnie nie interesuje";break;
		}
	}
	return 0;
}