using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace LogiksProject
{
    class Program
    {
        static void Main(string[] args)
        {
            LogicString s1 = new LogicString();

            // program przyjmuje ciąg znaków(bez spacji)
            // = równoważnośc
            // > implikacja
            // | alternatywa 
            // & koniunkja
            // ! negacja
            // pozostałe znaki, w tym spacja są traktowane jako "odmiany kaligraficzne" zmiennych logicznych

            s1.GetInputString();
            s1.AnalizeString();
            s1.ErrSearch();  
            

            Console.ReadLine();
        }
    }
}