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

namespace ConsoleApp6
{
    class Program
    {
        static void Main(string[] args)
        {
            while(true)
            {
                Console.Clear();
                Console.Write("Меню:\n" +
                    "\n" +
                    "Выберите задачу:\n" +
                    "1. 1(22)\n" +
                    "2. 2(22)\n" +
                    "0. Выход.\n" +
                    "> ");
                switch(Console.ReadLine())
                {
                    case "1":
                        FirstLogFunc();
                        break;
                    case "2":
                        SecondLogFunc();
                        break;
                    case "0":
                        return;
                    default:
                        continue;
                }
            }
        }
        static void FirstLogFunc()
        {
            Console.Clear();
            Console.WriteLine("Общий вид логической функции:\n\n" +
                "F(x1, x2, x3) = x1 /\\ !(x2 -> x3) <-> !(x2) (+) x3,\n\n" +
                "где /\\ - конъюнкция, ! - инверсия, <-> - эквивалентность,\n" +
                "-> - импликация, (+) - сложение по модулю.\n");
            Console.ReadKey();
            Console.WriteLine("Пострить таблицу истинности для:\n" +
                "1. F(x, y, z) = x /\\ !(y -> z) <-> !(y) (+) z\n" +
                "2. Заданных самостоятельно x1, x2, x3\n" +
                "> ");
            switch (Console.ReadLine())
            {
                case "1":
                    SheetForFirst(1, 2, 3);
                    break;
                case "2":
                    break;

            }
        }
        static void SheetForFirst(int x1, int x2, int x3)
        {
            Console.Clear();
            bool[,] xyz =  { {false,false,false },{false,false,true },{false,true,false },{false,true,true },{true,false,false },{true,false,true },{true,true,false },{true,true,true } };
            Console.WriteLine(" x | y | z | F");
            Console.WriteLine("---|---|---|---");
            for (int i = 0; i < 8; i++)
            Console.WriteLine($" {xyz[i,0] ? '1' : '0'} | {xyz[i, 1]} | {xyz[i, 2]} | {(xyz[i, 0]&&(!(!xyz[i, 1])|| xyz[i, 2])) == (!xyz[i, 1]) ^ xyz[i, 2]}");
            Console.ReadLine();

        }
        static void SecondLogFunc()
        {

        }
    }
}