using System;
using System.Collections.Generic;
using System.Linq;
using System.Text.RegularExpressions;

namespace Rextester
{
    public class Program
    {
        public static void Main(string[] args)
        {
            Regex r = new Regex(
                @"^([01A-Z](?![01A-Z])|
                (?<dyadic>[|&>=]\((?!,))|
                (?<comma-dyadic>,(?!\)))|
                (?<dBracket-comma>\))|
                (?<monadic>~\((?!\)))|
                (?<uBracket-monadic>\)))+
                (?(dyadic)(?!))(?(comma)(?!))(?(monadic)(?!))$"
                , RegexOptions.IgnorePatternWhitespace);
            string target = @"&(A,|(B,C)";
            string[] passList = {
                @"&(A,B)",
                @"~(0)",
                @"&(A,~(B))",
                @">(~(=(D,A)),~(B))",
                @"=(A,&(C,D))",
                @"T"};
            for(int i = 0; i<passList.Length; i++){
                if (r.Match(passList[i]).Success)
                {
                    Console.WriteLine("String: " + passList[i] + " Matches.");
                }
                else{
                    Console.WriteLine("Match expected for"+ passList[i] + " but failed");
                }
            }
            
            string[] failList = {
                @"&(A,B",
                @"~(A,B)",
                @"&(A,|(B))",
                @">(~(=(D,A),~(B))",
                @">",
		@">(,)",
            	@"|(,A)",
            	@"|(A,)",
            	@"~()",
            	@"DF",
            	@"~(DS)",
            	@"=(AD,BC)"
            };
            
            for(int i = 0; i<failList.Length; i++){
                if (r.Match(failList[i]).Success)
                {
                    Console.WriteLine("String: " + failList[i] + " matches but should not.");
                }
                else{
                    Console.WriteLine("No match as expected");
                }
            }
        }
    }
}