Ejemplo n.º 1
0
        //Simplified
        public TruthTableStructure GetSimplifiedTableService()
        {
            try
            {
                if (TruthTableService == null)
                {
                    var truthTable = GetTruthTable();
                    TruthTableService = new TruthTable(truthTable[0], truthTable.GetRange(1, truthTable.Count - 1).Select(r => new TruthTableRow(r)).ToList());
                }

                return(TruthTableService.GetSimplified());
            } catch (Exception)
            {
                return(null);
            }
        }
Ejemplo n.º 2
0
        public string GetNomarlizedPrefixService()
        {
            try
            {
                if (TruthTableService == null)
                {
                    var truthTable = GetTruthTable();
                    TruthTableService = new TruthTable(truthTable[0], truthTable.GetRange(1, truthTable.Count - 1).Select(r => new TruthTableRow(r)).ToList());
                }

                return(TruthTableService.GetNormalizedPrefix());
            }
            catch (Exception)
            {
                return(null);
            }
        }