//project: Boolean 4 variable solver, called array5 in my C# projects, since it came from an array sampler,
// and I didn't dare change the name too much yet, just learning C#...
//This solves the 2 to the power of 16  4-variable boolean cases creating small equations.
//using operators that combine two items into one.
//The trivial cases have complexity of 0, the easy ones you start with, the variables and all true and all false.
//variables a, b, c, d, and their negatives, and 0 and 1.
//a list is created where each decimal value is two other easier ones combined together with boolean logic.
//folling down the tree, you can create an equation when you get to the trivial cases, which are variables.
//When the final list is written, the eight trivial cases are shown as 888777 still, just didn't change them.

using System;
using System.IO; //for file i/o


class DeclareArraysSample
{
    public static void Main()
    {

        Console.WriteLine("StartingProgram" + " yes");
        int[] jMom = new int[65538];
        int[] jDad = new int[65538];
        int[] jComplexity = new int[65538];
        int[] jConnector= new int[65538];


        int jiter = 0;
        while (jiter < 65537)
        {
            jComplexity[jiter] = 888777;
            jMom[jiter]=888777;
            jDad[jiter]=888777;
            jConnector[jiter]=888777;
            jiter++;
        }
        //hex values to follow...  They are the trivial cases from a truth table with a,b,c,d columns and output.
        //when the output below is the same or the invert as one of the 4 columns, then it is trivial.
        jComplexity[0xFFFF]=0; //jComplexity[0b1111111111111111]=0;
        jComplexity[0x0000]=0;//jComplexity[0b0000000000000000]=0;
        jComplexity[0xFF00]=0;//jComplexity[0b1111111100000000]=0;
        jComplexity[0x00FF]=0;//jComplexity[0b0000000011111111]=0;
        jComplexity[0x0F0F]=0;//jComplexity[0b0000111100001111]=0;
        jComplexity[0xF0F0]=0;//jComplexity[0b1111000011110000]=0;
        jComplexity[0x3333]=0;//jComplexity[0b0011001100110011]=0;
        jComplexity[0xCCCC]=0;//jComplexity[0b1100110011001100]=0;
        jComplexity[0x5555]=0;//jComplexity[0b0101010101010101]=0;
        jComplexity[0xAAAA]=0;//jComplexity[0b1010101010101010]=0;
        long jValueInc = 0;
        int jChangeMade = 1;
        while (jChangeMade == 1)
        {
        jChangeMade = 0;
        Console.WriteLine("Times");
        int jiter3 = 0;
        while (jiter3 <= 0xFFFF)
        {
            int jiter2 = 0;
            while (jiter2 <= 0xFFFF)
            {
                jValueInc += 1;
                if ((jComplexity[jiter2] < 2222 ) && (jComplexity[jiter3] < 2222 ))
                {
                    int jAnswer;
                    int jComplexNow;
                    
                    /////////////////////////xor
                    jAnswer = jiter2 ^ jiter3; // ^ is xor
                    jComplexNow = jComplexity[jiter2] + jComplexity[jiter3] + 1;
                    if (jComplexNow < jComplexity[jAnswer])
                    {
                        jConnector[jAnswer] = 55; //xor
                        jComplexity[jAnswer] = jComplexNow;
                        jMom[jAnswer] = jiter2;
                        jDad[jAnswer] = jiter3;
                        jChangeMade = 1;
                        //Console.WriteLine(jAnswer);
                    }
                    ////////////////////or
                    jAnswer = jiter2 | jiter3; // | is or
                    jComplexNow = jComplexity[jiter2] + jComplexity[jiter3] + 1;
                    if (jComplexNow < jComplexity[jAnswer])
                    {
                        jConnector[jAnswer] = 77; //or
                        jComplexity[jAnswer] = jComplexNow;
                        jMom[jAnswer] = jiter2;
                        jDad[jAnswer] = jiter3;
                        jChangeMade = 1;
                        //Console.WriteLine(jAnswer);
                    }
                    ///////////////////and
                    jAnswer = jiter2 & jiter3; // & is and
                    jComplexNow = jComplexity[jiter2] + jComplexity[jiter3] + 1;
                    if (jComplexNow < jComplexity[jAnswer])
                    {
                        jConnector[jAnswer] = 22; //and
                        jComplexity[jAnswer] = jComplexNow;
                        jMom[jAnswer] = jiter2;
                        jDad[jAnswer] = jiter3;
                        jChangeMade = 1;
                        //Console.WriteLine(jAnswer);
                    }

                }
                jiter2++;
            }
            jiter3++;
        } 
        }
        Console.WriteLine(jValueInc); //debugging stuff
        Console.WriteLine("John E. Franklin");  //debugging stuff
        //this is a place on my hard drive.
        string path = @"c:\area34\bigfile.txt";  //the file with 65536 lines in it, big file!!

        if (!File.Exists(path))
        {
            //create file to write to.
            using (StreamWriter sw = File.CreateText(path))
            {
                sw.WriteLine("Hello");
                sw.WriteLine("And");
                sw.WriteLine("Welcome");
            }
        }


        int jPrintm = 0;
        while (jPrintm <= 0xFFFF)
        {
            string jGate = "";

            if (jConnector[jPrintm] == 22)
            {
                jGate = " and ";
            }
            if (jConnector[jPrintm] == 77)
            {
                jGate = " or ";
            }
            if (jConnector[jPrintm] == 55)
            {
                jGate = " xor ";
            }
            //Console.WriteLine(jPrintm + " = " +  jMom[jPrintm] + jGate + jDad[jPrintm]);

            ///this  text is always added, making the file longer.
            using (StreamWriter sw = File.AppendText(path))
            {
                sw.WriteLine(jPrintm + " = " + jMom[jPrintm] + jGate + jDad[jPrintm]);
                //sw.WriteLine("65535 = trivial"); //for example...
            }
            
            jPrintm += 1;
        }
        Console.WriteLine("End Program--Press Enter to Exit");
        Console.ReadLine();

    }
}