#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 kon:public Formula
{
	public:
	virtual void metoda()
	{
		cout<<"alfa & beta"<<endl;
	}
};
class alternatywa:public Formula{
	public:
	virtual void metoda()
	{
		cout<<"alfa v beta"<<endl;
	}
};
class implikacja:public Formula{
	public:
	virtual void metoda()
	{
		cout<<"alfa -> beta"<<endl;
	}
};
class rownowaznosc:public Formula{
	public:
	virtual void metoda()
	{
	cout<<"alfa wttw beta"<<endl;
	}
};
int main(int argc, char** argv) {
//	int n;
//	cout<<"Ile chcesz wprowadzic formul?"<<endl;
//	cin>>n;
	Formula tab[5];
	int a;
	Formula formula1;
	kon formula2;
	alternatywa formula3;
	implikacja formula4;
	rownowaznosc formula5;
	cout<<"Podaj jakie interesuja Ciebie formuly"<<endl<<"1 - JakasFormula"<<endl<<" 2 - koniunkcja"<<endl<<" 3 - alternatywa"<<endl<<" 4 - implikacja"<<endl<<" 5  - rownowaznosc"<<endl<<" 6 - zadna"<<endl;
	for(int i = 0;i<5;i++)
	{
		cin>>a;
		switch (a)
		{
			case 1: tab[i] = formula1;
					tab[i].metoda();
					break;
			case 2:
					tab[i] = formula2;
					tab[i].metoda();
					break;
			case 3:
					tab[i] = formula3;
					tab[i].metoda();
					break;
			case 4: tab[i] = formula4;
					tab[i].metoda();
					break;
			case 5:	tab[i] = formula5;
					tab[i].metoda();
					break;
			case 6: cout<<"zadna mnie nie interesuje";break;
		}
	}
	return 0;
}