Logic-Formulae-Validator-dl.../Program.cs
2019-05-25 18:22:08 +02:00

32 lines
742 B
C#

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();
}
}
}