On the Subject of Cerulean Mazes

What's crueler than being cruel? Ice cold!

  • In order to escape the maze, travel from the starting point of one maze to the key and return to the start through the other.
    • Initial Maze: If the parity of the numbers of batteries and ports equals the parity of the numbers of holders and plates, begin in maze 0, otherwise begin in maze 1.
    • Start: (1st, 2nd) characters of serial number.
    • Key: (3rd + 4th, 5th + 6th) characters of the serial number.
      However if either component is greater than Z, replace it with the larger of the two summands.
  • If the key is at the start:
    • The exit is already unlocked, but it's a trap! Move one space at a time to a safe distance, at least ten spaces, away from the start.
    • Press SUBMIT to safely trigger the trap.
      Pressing RESET from this point will move the current location back to the submitted space.
  • If the key is five or fewer spaces from the start:
    • The key is an illusion, the true location is twice as far from the start as it appears to be.
    • If the true location appears to be outside of the maze, wrap it around the opposite side.
    • Repeat until the key's location is fourther than five spaces from the start.
  • If the key is further than five spaces from the start:
    • If the current location in the maze is five or fewer spaces from the key, the directional buttons move to an adjacent square.
    • For every five spaces the current position is further from the key, the directional buttons move an extra space.
    • Once the key is collected the same applies to the exit.
  • A move is only considered legal if inputting the displayed hexadecimal digit into the logic statement on its destination space returns true.
  • The current space does not change if an invalid move is attempted.
  • The STUCK button may only be pressed if there are no legal moves:
    • A STUCK move travels to the adjacent space in the direction that reduces the greatest distance to the key/exit.
    • If there is a tie between perpendicular directions, move one space in both directions.
  • Press SUBMIT on the space occupied by the key to collect it and press it again at the starting point to exit the maze, disarming the module.
  • Press RESET before collecting the key to return to the start, and after collecting the key to return to the key space.
0123456789abcdef
AFalseFalseFalseFalseFalseFalseFalseFalseTrueTrueTrueTrueTrueTrueTrueTrue
BFalseFalseFalseFalseTrueTrueTrueTrueFalseFalseFalseFalseTrueTrueTrueTrue
CFalseFalseTrueTrueFalseFalseTrueTrueFalseFalseTrueTrueFalseFalseTrueTrue
DFalseTrueFalseTrueFalseTrueFalseTrueFalseTrueFalseTrueFalseTrueFalseTrue
XYX AND YX OR YX XOR YX IMP YX NAND YX NOR YX XNOR YX NIMP Y
FalseFalseFalseFalseFalseTrueTrueTrueTrueFalse
FalseTrueFalseTrueTrueTrueTrueFalseFalseFalse
TrueFalseFalseTrueTrueFalseTrueFalseFalseTrue
TrueTrueTrueTrueFalseTrueFalseFalseTrueFalse
0
0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ
0A XOR BD OR (C NIMP A)D IMP (B AND C)A OR (D NOR (C NIMP B))A AND (C IMP (B XOR D))C NAND (A OR (B IMP D))C NAND (A XOR (B OR D))(A XOR D) NIMP (B AND C)(A AND C) XNOR (B XOR D)B NAND (D IMP (A XOR C))A XOR (D AND (B OR C))(A IMP B) XNOR (C IMP D)C OR (A XNOR (B OR D))B NOR (C NIMP (A XOR D))A NOR (B XNOR (C OR D))(A OR B) XOR (C XOR D)A AND (B OR (C AND D))A AND (B XOR D)C XOR (A OR (B AND D))(A AND C) OR (B XOR D)(B XOR D) NAND (C IMP A)D NOR (B XNOR (A OR C))C AND (D XOR (A OR B))C NOR (D XNOR (A IMP B))C OR (A NOR (B XNOR D))C NAND (A OR (B NAND D))A IMP (D XOR (B IMP C))D NOR (C NOR (A AND B))A XNOR (B IMP D)D NOR (B XOR (A AND C))D OR (C AND (A OR B))(B XOR D) OR (C NIMP A)B XNOR (A OR (C AND D))(A OR D) XNOR (C IMP B)(A XOR C) OR (B XOR D)A NOR (C XOR (B OR D))
1(A AND C) NOR (B AND D)(A OR C) NAND (B IMP D)(B OR D) XOR (C IMP A)A NAND (D XOR (B AND C))A AND (C XOR D)C XOR (A AND (B AND D))D NOR (B NIMP C)D OR (B NOR (A AND C))(A OR C) NAND (B OR D)C OR (A NOR (B NIMP D))B XNOR (D IMP (A XOR C))A XOR (B IMP D)D IMP (A XOR C)D XNOR (A OR (B XNOR C))C AND (A OR (D NIMP B))A XNOR (D IMP B)D OR (A XOR C)A XOR (B XOR C)D AND (C OR (A AND B))B NAND (C OR (A NOR D))A XNOR (C AND (B IMP D))B OR (C XOR (A OR D))C AND (A OR D)(B AND D) NOR (C NIMP A)A AND (B OR (C OR D))B NOR (D NOR (A XNOR C))B NAND (A OR (C IMP D))C NOR (D NOR (A XNOR B))D NOR (C NIMP A)(A OR C) XOR (B OR D)B NAND (C OR (A XOR D))C NOR (B AND D)B NIMP (D XOR (A AND C))A NAND (B XOR (C XOR D))B XNOR (A AND D)A NOR (D NOR (B AND C))
2D OR (B XNOR (A AND C))C OR (A NOR B)D NAND (A IMP C)D OR (C XOR (A OR B))(A XOR D) NOR (B AND C)C XOR (A AND (D IMP B))C XOR (A AND D)(A IMP D) NIMP (B AND C)C NIMP (A XOR D)C OR (A AND (B AND D))D XNOR (C OR (A AND B))B OR (D NIMP (A XOR C))A AND (B OR (C XOR D))C XNOR (B IMP (A XOR D))(A AND C) NOR (B XOR D)C NOR (D NOR (A AND B))B NAND (D IMP (A AND C))(A XOR C) IMP (B AND D)C XOR (B AND (A XOR D))A NOR (B XOR (D IMP C))D NOR (A NOR (B NAND C))C OR (A AND (B IMP D))(A OR B) AND (C OR D)C NIMP (A AND (B OR D))C OR (A AND (B OR D))C XNOR (D AND (A XOR B))B NOR (D XNOR (A AND C))D XNOR (A IMP C)B IMP D(A XOR C) OR (B XNOR D)(A XOR B) NAND (C IMP D)A OR (B XNOR (C XOR D))C NOR (B XOR (A OR D))D NOR (A AND (B AND C))A OR (D NOR (B XOR C))C XOR (A OR (B NOR D))
3D OR (A NOR (B NAND C))C NAND (B IMP D)(A IMP D) XOR (B OR C)C NIMP (A AND B)B NIMP (D AND (A XOR C))D NOR (C AND (A XOR B))C NAND (A IMP (B AND D))(A OR D) NAND (B IMP C)A NAND (B OR (D IMP C))(A OR D) NAND (B XOR C)A OR (C NIMP D)B NOR (C AND (A IMP D))B NOR (C XNOR (A OR D))C XOR (D IMP (A AND B))C IMP (A XOR (B OR D))D AND (C OR (B NIMP A))D IMP (B AND (A IMP C))C NAND DA OR (B NIMP (C IMP D))A XOR (D IMP B)B AND (A OR (D IMP C))C XNOR (B OR (A XNOR D))C XOR (A OR (B XNOR D))C XNOR (A OR (B NIMP D))D XOR (A AND C)C NIMP (A AND (B IMP D))D OR (A AND (C IMP B))D NIMP CD XNOR (B OR C)B AND (C OR (A NOR D))A OR (C NOR (B XNOR D))C NOR (A NIMP B)D IMP (B AND (C IMP A))B OR (A NOR (C XNOR D))D OR (B NOR (A NOR C))(A OR C) XOR (B IMP D)
4B NOR (A XNOR (C AND D))B IMP (A AND C)(A OR D) XOR (B XOR C)C OR (B AND (A XOR D))B NIMP (C XOR (A AND D))(A IMP B) XNOR (C AND D)D NOR (B XNOR (A AND C))B OR (A NIMP (C AND D))D NAND (B IMP (A XOR C))A XOR (B OR (C NIMP D))D XOR (A OR (B IMP C))A XNOR (B OR (C NIMP D))A NIMP (C AND (B XOR D))C OR (A NOR (D NIMP B))(A IMP B) NAND (D IMP C)B XNOR (C OR D)D NOR (A AND B)C NOR (A XOR (B XOR D))(A OR C) AND (B XOR D)(A XOR B) NIMP (C XOR D)D XOR (B OR (C NIMP A))A NAND (B IMP (C OR D))A NOR (C NOR (B NIMP D))C NOR (A XNOR D)B XOR (C OR (A XNOR D))A NOR (D AND (C IMP B))A XNOR (B IMP (D IMP C))C NOR (A NOR (B NAND D))(B IMP A) NIMP (C AND D)C AND (B OR (A XOR D))C NOR (A XNOR (B XOR D))A NAND (C OR (D NIMP B))C IMP (D XOR (A IMP B))(A XOR D) AND (B OR C)B XOR (A IMP (C IMP D))D XOR (B OR (A AND C))
5A AND (B OR (D NIMP C))(A AND D) NOR (B NOR C)A NOR (D NIMP (B XOR C))D OR (A XNOR (B IMP C))A XNOR (B XOR C)D XNOR (B IMP (A AND C))(A XOR C) NIMP (B XOR D)A OR (B NIMP (C AND D))(A IMP D) XNOR (B AND C)A NAND (B XOR C)(A XOR B) NAND (C XOR D)B NOR (D NIMP A)A NOR (B NOR C)C AND (A OR (B OR D))D NOR (A NOR (B OR C))D OR (B XOR (A IMP C))(A XOR D) NAND (B XOR C)B IMP (C AND (A IMP D))(A AND B) XOR (C OR D)(A AND D) XOR (B OR C)C AND (D IMP (A AND B))A IMP (B XOR D)CB AND (A OR (C NAND D))A XNOR (B AND C)C XOR (D OR (A AND B))D XOR (B IMP (A AND C))A IMP (C XOR (D IMP B))C OR (A NOR (B AND D))B OR (C AND (A OR D))(A XOR D) XNOR (B IMP C)C OR (D NOR (A AND B))D IMP (A AND B)(B XOR C) XOR (D IMP A)B XOR (A OR (C XNOR D))D NOR (A AND (C IMP B))
6A OR (D XNOR (B OR C))B OR (A AND (C IMP D))C OR (D XNOR (A AND B))A XOR (D OR (B XNOR C))B NOR (C NIMP D)C OR (A NIMP (D IMP B))B XNOR (D IMP (A AND C))A OR (B NIMP (C OR D))(A IMP B) XOR (D IMP C)A NAND (B OR (C XOR D))A NOR (C XOR (D IMP B))D OR (C NIMP (A AND B))(A AND D) OR (B XOR C)D AND (A IMP (B IMP C))C NIMP (D XOR (A OR B))B XOR (A OR C)D XOR (A IMP (B XOR C))C NOR (D AND (A IMP B))(B IMP A) XNOR (C XOR D)C OR (B AND (D IMP A))B AND (C OR (A NIMP D))C NOR (B NOR (A NIMP D))B NIMP (C XOR (A OR D))A NOR (B XNOR C)A NOR (B NOR (C NOR D))C OR (D NOR (A XOR B))B XOR (A OR (C NOR D))(A AND C) XOR (B IMP D)B XNOR (A AND (D IMP C))D NIMP (A AND (B IMP C))(A IMP D) XOR (B XOR C)A NIMP (D AND (C IMP B))A NAND (B OR (C NOR D))C XOR (A IMP (B IMP D))D NOR (B XNOR (A IMP C))(A XOR B) NAND (D IMP C)
7A OR (B XNOR (C IMP D))D XOR (A AND (B OR C))B NOR (A NOR (C XNOR D))C NOR (D XNOR (A AND B))C XOR (A OR (D NIMP B))A AND (D OR (B AND C))C IMP (D XOR (A OR B))(A XOR C) NOR (B XNOR D)C XNOR (D OR (A XNOR B))D XOR (A OR C)C NAND (D OR (A NOR B))C OR (D NIMP (A XOR B))(A IMP C) XOR (B XOR D)(B OR C) XNOR (D IMP A)A NOR (C AND (B OR D))A OR (C NIMP (B XOR D))B NOR (A NOR (C OR D))A OR (D NIMP B)C NAND (D IMP (A AND B))C AND (D IMP B)D XOR (C OR (A AND B))A OR (B XOR (C IMP D))C NOR (A NIMP (D IMP B))A XOR (B AND (C OR D))(C IMP A) AND (D IMP B)B NIMP (C XOR (D IMP A))A XOR (B AND (C XOR D))A NAND (D IMP B)(A XOR B) OR (C NOR D)(A IMP B) IMP (C AND D)C NOR DD OR (C XNOR (A IMP B))A AND (B IMP C)B XOR (D IMP (A XOR C))D NIMP (C XOR (B IMP A))C OR (A XNOR D)
8D AND (A OR (B XNOR C))A NOR (C NOR (B NOR D))D AND (C XOR (A IMP B))B OR (D AND (A OR C))C OR (A NOR D)B OR (A AND D)C XOR (B OR (A AND D))C OR (D NIMP A)D AND (A IMP (B OR C))D OR (A AND (B IMP C))(A IMP C) XNOR (B IMP D)(A XOR C) IMP (B XOR D)B XOR (A AND (C IMP D))D OR (A NOR B)A XOR (D AND (C IMP B))D IMP (A AND (C IMP B))C OR (D AND (A OR B))B AND (A IMP (C AND D))B NAND (A XOR (C OR D))A AND (B IMP (C XOR D))A AND (C XOR (D IMP B))A XOR (C IMP D)A AND (D OR (B XOR C))D IMP (A AND (B AND C))D NAND (A OR (B NOR C))A NIMP (B XOR (C IMP D))D XNOR (A OR (B NAND C))B XNOR (C OR (A AND D))A XOR (B OR (C XNOR D))(A AND C) XNOR (B AND D)D XOR (B AND (C IMP A))(A OR C) XNOR (B IMP D)C IMP (D AND (A XOR B))B XOR (C AND (A XOR D))A XOR (C XOR D)(A IMP C) XNOR (D IMP B)
9(A XOR D) OR (B NIMP C)A AND (C OR (B NOR D))C AND (D XOR (A AND B))D NOR (A NIMP (B IMP C))D NOR (B AND (A XOR C))A OR (D AND (C IMP B))D AND (C OR (A XNOR B))C OR (A NOR (B NAND D))B NOR (A NOR (D IMP C))B NAND (C OR D)D AND (A OR (B NOR C))(A OR C) AND (B OR D)(A IMP C) XNOR (B AND D)B XOR (D OR (A XOR C))C NAND (D XOR (A AND B))(C IMP A) XOR (D IMP B)(A AND B) XOR (C XOR D)D OR (C NOR (A AND B))D XOR (B OR (A XOR C))C NOR (A AND (B OR D))A OR (D NIMP C)B NIMP (A XOR (D IMP C))D AND (A OR (C NIMP B))A XOR (B OR (D IMP C))C OR (A NIMP (B OR D))A XOR (C AND (B XOR D))D NAND (C OR (A NOR B))(A AND B) OR (C NOR D)D NAND (A OR (B NAND C))D AND (B OR (A AND C))(A OR B) XNOR (C XOR D)C AND (A OR (B XNOR D))A XNOR BC NOR (A XNOR (B OR D))B AND (C OR (A AND D))A NIMP (B XOR (D IMP C))
AC OR (D XNOR (B IMP A))B OR (C AND D)B AND (A OR (C AND D))(A IMP C) NAND (B IMP D)B NOR (A NIMP (C OR D))(B OR C) AND (D IMP A)B AND (D OR (A NOR C))D NOR (A AND C)C NOR (B NIMP A)C AND (B OR (A AND D))A XOR (C OR (B XOR D))C XNOR (D OR (A NIMP B))D IMP (C XOR (B IMP A))(A XOR D) NOR (B XOR C)D NOR (A NOR (C NIMP B))C NIMP (D AND (A XOR B))(C IMP B) XOR (D IMP A)C NAND (B XOR (A OR D))B XNOR (C AND (A IMP D))C XNOR (A AND (B AND D))C XNOR (A OR (B OR D))C XNOR (B OR (A NIMP D))A OR (D AND (B IMP C))A NOR (B XNOR (C IMP D))C XNOR (A OR (B XNOR D))A OR (D NOR (B AND C))D OR (A XOR (B OR C))D IMP (B AND (A XOR C))D NIMP (A XOR C)D NAND (A XOR C)C AND (A XOR (D IMP B))A NOR (B XOR (C AND D))C NIMP (A AND D)B NAND (A XOR (D IMP C))D NAND (B OR C)C NOR (A NOR (B IMP D))
BB XNOR (C AND (D IMP A))(A OR D) AND (B XOR C)D AND (C XOR (A AND B))A NOR (B XOR (C IMP D))B OR (A NIMP C)(A AND B) NOR (C XOR D)B XNOR (A OR (C NIMP D))D OR (A XOR (B AND C))D NOR (B AND (C IMP A))D OR (B NOR (A NIMP C))B AND (C XOR (A IMP D))A OR (D XNOR (B AND C))(A AND B) XOR (C IMP D)(B IMP A) XOR (C XOR D)C NAND (A OR (D IMP B))D NIMP (B XOR (A OR C))D NIMP (A AND (B XOR C))A OR (D NIMP (B XOR C))D NOR (A NIMP (B XOR C))(A XOR B) XOR (C AND D)B NAND (A OR D)A OR (C XNOR (B AND D))B AND (A OR D)A AND (B XOR (C IMP D))B NIMP (C XOR D)D XOR (C AND (A OR B))B XNOR (A AND (C IMP D))D AND (A IMP (C IMP B))A XOR (B IMP (C AND D))C OR (A NIMP D)D NAND (C IMP (A XOR B))D NAND (C OR (A XOR B))D AND (A OR B)A IMP (C XOR (B OR D))B OR (D XOR (A AND C))D XNOR (B IMP C)
CD IMP BB XOR (A OR (C OR D))C OR (B NOR (A NIMP D))C AND (D OR (A XNOR B))B XOR (A OR (C NIMP D))B OR (A NIMP (C XOR D))C XOR (B OR (A NOR D))A OR (D NOR (B NOR C))D XOR (A IMP (C IMP B))A XNOR (D OR (B AND C))C NAND (A OR (D NIMP B))D OR (B NIMP A)D XNOR (C IMP (A XOR B))A NIMP (B XOR D)A XOR (B OR (C IMP D))(A AND D) OR (B XNOR C)A XNOR D(A OR D) IMP (B XOR C)C NOR (A XOR B)A NAND (B XOR D)C IMP DA NAND (B XOR (D IMP C))D XOR (C OR (A XOR B))A XNOR (D OR (B NOR C))C NIMP (B AND (D IMP A))C XNOR (B OR (A NOR D))A NIMP (D XOR (B IMP C))A NAND (B OR (C XNOR D))B OR (D XNOR (A OR C))C NAND (A OR (B AND D))(B IMP A) NAND (D IMP C)(A AND B) OR (C XNOR D)A OR (B XOR C)(A IMP D) XOR (B AND C)B NOR (A NIMP (C XOR D))B XNOR (A OR (D NIMP C))
DC XOR (B IMP (A AND D))(A XOR D) NAND (B IMP C)A AND (C OR D)D AND (B OR (A NIMP C))D OR (A AND B)C OR (A NOR (D IMP B))(A XOR D) XNOR (B OR C)D XNOR (B OR (A NOR C))A XNOR (B AND (D IMP C))B NOR (A NOR (C NIMP D))B XNOR (A IMP (C AND D))A XOR (C AND (B OR D))(A OR C) AND (D IMP B)C OR (B NOR (A AND D))C NIMP (B XOR (A IMP D))B XOR (D IMP A)A OR (B AND (C OR D))A NOR (B NOR (D IMP C))(A OR D) XOR (C IMP B)(A OR B) XOR (D IMP C)D OR (B AND (A IMP C))B XNOR (D OR (A XNOR C))B NAND (D OR (A XNOR C))B XNOR (A AND C)D NOR (A XOR (B AND C))C XOR (A IMP (B AND D))A OR (B XNOR (C AND D))A XNOR (B OR D)A AND (C OR (D NIMP B))B NOR (C XOR (A IMP D))B XNOR (D OR (C NIMP A))A NAND (D OR (C NIMP B))D NIMP (A AND (C IMP B))C NOR (D XOR (A IMP B))D OR (A NIMP B)(A AND B) XNOR (C IMP D)
EB OR (D XOR (A OR C))D NAND (A IMP (C IMP B))C XNOR (D IMP (A XOR B))C IMP (B XOR D)A IMP (B AND (C XOR D))B NOR (A NOR (C IMP D))D NAND (B IMP (A AND C))C NAND (D OR (A XOR B))(A AND D) XOR (B XOR C)A IMP (C XOR D)C XOR (A IMP B)B XOR (A OR (C IMP D))C OR (A XNOR (B AND D))B NOR (D AND (A XOR C))B OR (D NOR (C NIMP A))C XOR (A AND (B IMP D))D NOR (B NOR (A NIMP C))B AND (C OR (A XNOR D))A NOR (B XOR D)C OR (B XOR (A IMP D))A XOR (C IMP B)A IMP (D AND (B XOR C))C AND (A XOR (B IMP D))B IMP (C XOR D)(A XOR B) NOR (C XNOR D)C XNOR (A AND D)C XOR (B IMP A)(A IMP C) AND (B IMP D)D XOR (B IMP (A XOR C))(A IMP B) IMP (C XOR D)D XOR (B OR (A NOR C))D XNOR (C AND (A XOR B))D IMP (B XOR C)B AND (D OR (A XOR C))A NOR (B XNOR (C XOR D))(A XOR D) OR (B XOR C)
FD OR (A AND (B XOR C))C NAND (B OR (A XNOR D))A NOR (D XNOR (B IMP C))(B AND D) XOR (C IMP A)D NAND (B OR (A NIMP C))A OR (B XNOR D)D AND (B XOR (A OR C))A NOR (C XOR (B IMP D))(A AND C) XOR (B OR D)C NOR (D XOR (A AND B))D OR (B XOR C)D NOR (C NOR (A XNOR B))A XOR (D IMP (B AND C))C OR (A NIMP (B XOR D))B IMP (A AND (D IMP C))A IMP (C AND (B XOR D))A NOR (D XOR (B OR C))B NOR (C XNOR (A IMP D))C XOR (B AND (A OR D))A OR (B AND D)C AND (D OR (B NIMP A))A XNOR (D IMP (B AND C))D NOR (B NOR (C NIMP A))A XOR (B IMP (C XOR D))A OR (B XNOR (D IMP C))(B IMP A) XNOR (C IMP D)B NIMP (A XOR (C XOR D))C XNOR (A AND (D IMP B))(A OR B) XNOR (C AND D)D NOR (A XNOR (B XOR C))D IMP (B XOR (A OR C))B OR (A NIMP (D IMP C))A XNOR (B AND (C IMP D))D XNOR (B OR (C NIMP A))D AND (B IMP (A AND C))A NOR (B NIMP (C XOR D))
GB NAND (A OR (C AND D))C NOR (D NOR (A NOR B))B XOR (A IMP (C XOR D))B NIMP (A AND (C AND D))C XOR (D IMP A)C OR (D XOR (A IMP B))(A IMP C) AND (B OR D)B OR (A AND (C OR D))C NIMP (D AND (B IMP A))C XNOR (D OR (A XOR B))D NIMP (B XOR C)D NOR (C XOR (B IMP A))(A XOR B) AND (C IMP D)D NIMP (B AND (A XOR C))(B XOR D) XOR (C IMP A)A NOR (C XOR (B AND D))(A IMP B) XOR (C IMP D)B NAND (D OR (C NIMP A))C XNOR (D AND (A OR B))A NIMP (B AND (C AND D))B NOR (A AND (C OR D))D OR (A NOR (C NIMP B))C NOR (B XNOR (A IMP D))A NOR (C NIMP (B XOR D))A NAND (C OR D)A NAND (D IMP C)C XNOR (B AND (A OR D))A NAND (C IMP (B XOR D))D XNOR (C OR (A NOR B))A XNOR (B OR C)D NIMP (B XOR (C IMP A))B XOR (A AND D)C AND (B IMP (A XOR D))B NOR (D NOR (A NOR C))A XOR (B OR C)D XOR (A AND (C IMP B))
HC OR (A AND (B XOR D))(A AND B) XNOR (C OR D)A AND (D IMP C)D NIMP (C XOR (A AND B))A NOR (D NOR (B XOR C))B OR (C XOR (A AND D))A IMP (C XOR (B AND D))C NOR (B NOR (A AND D))B NOR (A NOR (C XOR D))(B AND C) NOR (D NIMP A)A NOR (B AND (D IMP C))D AND (B XOR (A AND C))A NIMP (C AND (B OR D))B OR (C XNOR (A OR D))D XNOR (A OR (C NIMP B))A NIMP (D XOR (C IMP B))(A AND D) NOR (B AND C)B NIMP (D XOR (A OR C))D AND (B IMP C)B XNOR (C AND (A OR D))D XOR (B IMP C)A OR (D XNOR (B IMP C))C OR (A NOR (B OR D))(A IMP B) AND (C OR D)B NIMP (C XOR (A IMP D))C XOR (B OR (A XOR D))(A OR C) NAND (B XOR D)D IMP (B XOR (C IMP A))C OR (A AND (D IMP B))(A AND C) XOR (B AND D)A AND (B OR (D IMP C))C XOR (B AND (A IMP D))(A XOR B) IMP (C AND D)(A XOR D) OR (B NOR C)B NOR (C AND (A OR D))D NOR (A XOR C)
IA AND (D XOR (C IMP B))(A OR D) XOR (B AND C)D NOR (B AND (A IMP C))D XOR (A IMP B)A AND BA NAND DC NAND (A XOR B)C NAND (B OR D)C OR (B AND (A IMP D))D OR (B AND (A OR C))A AND (D XOR (B IMP C))C NIMP (D XOR (A IMP B))A NOR (B AND (C OR D))D XNOR (C OR (A XOR B))D XNOR (A IMP (B AND C))D OR (B NOR (A XNOR C))C NOR (B NOR (A XOR D))C NIMP (A AND (B XOR D))C XNOR (A AND (B IMP D))(A XOR C) OR (D NIMP B)A XNOR (C OR (B NOR D))D XNOR (A AND (B AND C))D IMP (B XOR (A AND C))A XOR (D OR (C NIMP B))(A XOR B) NIMP (C AND D)B OR (A NIMP (C OR D))(A XOR C) NAND (D IMP B)C XOR (A OR (B OR D))A OR (D XOR (B AND C))C OR (D XOR (A OR B))C NOR (A XOR (D IMP B))(B XOR D) XNOR (C IMP A)C NOR (A NOR D)C XNOR (A AND (B XOR D))A XOR (C IMP (B AND D))B OR (A NOR (C NOR D))
JA OR (D AND (B OR C))A NIMP (D AND (B XOR C))C AND (D OR (A NOR B))(A XOR C) OR (B NOR D)B IMP (A AND D)B XNOR (D AND (A IMP C))D XNOR (B IMP (A XOR C))A XNOR (D AND (B IMP C))D NIMP AB XNOR (A OR (C IMP D))(A IMP D) NAND (B XOR C)C NAND (D OR (A NIMP B))B OR (D NIMP A)A XOR (C OR (B NIMP D))C OR (D NOR (B NIMP A))A NOR (D AND (B IMP C))C AND (A IMP (D IMP B))C NAND (B XOR (D IMP A))D IMP (A AND C)(A AND B) OR (C XOR D)C OR (D NIMP (A AND B))A OR (D XOR (B IMP C))D XNOR (A OR (B XOR C))D OR (A NIMP (B AND C))B IMP (A AND (C AND D))A NOR (D NOR (B NIMP C))(A AND D) XNOR (B OR C)C NIMP (A AND (D IMP B))(A AND B) XNOR (C XOR D)D OR (B XOR (A OR C))A OR (C NIMP (B AND D))C NOR (B AND (D IMP A))C NIMP DA IMP (D XOR (B AND C))(A IMP D) NAND (B OR C)B XOR (D OR (C NIMP A))
K(A IMP B) XNOR (C XOR D)(A AND D) XOR (B AND C)D NOR (A NOR (B IMP C))C OR (D XNOR (A IMP B))(A OR D) AND (B IMP C)B AND (A IMP (C IMP D))C IMP (B XOR (A AND D))C NAND (A XOR (B AND D))B NAND (D OR (A AND C))C NOR (A NIMP (B XOR D))A OR (C XOR (D IMP B))A XNOR (B AND (C AND D))A NOR (B NOR D)B AND (C IMP D)(A XOR D) NIMP (B XOR C)D AND (A XOR (B OR C))C IMP (A AND B)B XOR (C AND D)B NAND (C IMP (A AND D))(B IMP C) XNOR (D IMP A)D AND (A XOR (B XOR C))B XNOR (D AND (A OR C))D OR (A XNOR (B AND C))D NOR (B NIMP (A XOR C))C AND (A XOR (B OR D))B NOR (C NOR (A XOR D))C XNOR (B IMP (A AND D))B AND (C XOR (A AND D))C NOR (D NIMP B)A OR (B XOR (D IMP C))C NOR (D NIMP A)D NOR (A NIMP (C IMP B))C AND (A OR B)B OR (A AND (C AND D))A OR (B XOR (C AND D))(A IMP D) XOR (B IMP C)
LD OR (B NIMP C)B NAND (C XOR (D IMP A))D NAND (B OR (C NIMP A))A OR (C AND (D IMP B))(A IMP D) NAND (C IMP B)C NOR (B NIMP (A XOR D))A AND (D IMP (B XOR C))(C IMP B) XNOR (D IMP A)C NIMP (B XOR (D IMP A))D XOR (A OR (B XNOR C))B NOR (D AND (A IMP C))C OR (B XOR (A OR D))B NIMP (A XOR (C AND D))A XNOR (B AND (C OR D))C XOR (B OR (A NIMP D))D XNOR (B AND (A XOR C))C NOR (A NOR (B XNOR D))B NAND (C XOR D)B IMP (C XOR (A IMP D))D NOR (C NOR (A NIMP B))(A AND D) NOR (C NIMP B)B XOR (A OR D)B AND (A IMP D)(A IMP C) XNOR (B XOR D)C OR (A AND B)B XOR (D OR (A NOR C))(A AND D) OR (C NIMP B)(A AND C) OR (D NIMP B)D OR (C XNOR (A OR B))B OR (A AND C)C XOR (A IMP (D IMP B))(A OR C) NIMP (B XOR D)A OR (C XNOR (D IMP B))D AND (C IMP A)D NAND (A IMP (B XOR C))D IMP (A XOR (B XOR C))
MC NAND (A IMP (B IMP D))B IMP (A XOR (C XOR D))A XNOR (D OR (C NIMP B))A NAND (B OR (C AND D))B AND (D OR (A NIMP C))D XOR (C OR (A XNOR B))B XNOR (A OR D)D XNOR (C OR (B NIMP A))D XNOR (B OR (A XOR C))D AND (A IMP (B XOR C))C NOR (D XOR (B IMP A))B XNOR (C OR (A NIMP D))(A XOR D) XOR (B IMP C)A AND (D IMP (B AND C))B AND (D OR (A AND C))(A AND D) NOR (B XOR C)C OR (D NOR (A XNOR B))(B IMP C) NAND (D IMP A)C NOR (D XNOR (A OR B))D NOR (B NIMP A)C AND (A XOR (B AND D))D OR (B XNOR (A IMP C))A OR (B NIMP D)B AND (A IMP C)(B AND C) XOR (D IMP A)A XNOR (C XOR D)B AND (C XOR (D IMP A))A NOR (C XNOR (B OR D))A NIMP (B AND (C XOR D))B XNOR (C OR (A NOR D))D NAND (C IMP A)A XOR (B OR D)A OR (B AND C)A XOR (D OR (B NIMP C))C XOR (A OR (B IMP D))C NAND (D XOR (B IMP A))
ND IMP (A AND (B XOR C))B OR (A NIMP (C IMP D))D NAND (B XOR (C IMP A))B OR (A XOR (D IMP C))C NOR (B AND (A OR D))A IMP (C AND (B OR D))B OR (C NOR (A NOR D))A NAND (B XOR (C AND D))B XOR (D IMP C)D OR (C NOR (B NIMP A))C NIMP (B AND (A XOR D))C AND (A OR (B NAND D))D OR (A NOR (B XOR C))B OR (D NOR (A NOR C))B NOR (A NIMP (D IMP C))D NOR (B XNOR C)A NAND (B IMP (C XOR D))B OR (D XNOR (C IMP A))A NIMP (B AND (C OR D))D AND (A IMP C)A XNOR (C AND D)B AND (A IMP (D IMP C))C XOR (D OR (A XOR B))C OR (A NOR (B NOR D))A OR (D XNOR (C IMP B))B NOR (A XNOR (D IMP C))C XOR (A OR (B NIMP D))C NAND (D XOR (A IMP B))A AND (D XOR (B OR C))B OR (D NOR (A NIMP C))(A OR C) XOR (D IMP B)C IMP (A XOR (B XOR D))A OR CB XNOR (C AND D)(A AND B) NOR (C AND D)(B IMP A) XOR (C IMP D)
OB NAND (D OR (A XOR C))(A OR D) XNOR (B OR C)B IMP CC NAND (D XOR (A OR B))(A XOR B) NOR (C NOR D)D NOR (B NIMP (A AND C))B XNOR (A IMP (C OR D))A NOR DA AND (D IMP B)B NOR (A AND C)C XOR (D IMP (A XOR B))D NOR (C XNOR (A IMP B))D XNOR (A AND (B OR C))B XNOR (A AND (C OR D))B XNOR (D AND (A XOR C))B NOR (C XNOR (A AND D))B AND (A XOR (C OR D))B XNOR (C OR (A XOR D))C XNOR (A AND (B OR D))B NOR (C NIMP A)C XOR (A IMP D)A XNOR (C AND (B OR D))D NOR (B XOR (C IMP A))C OR DC XNOR (A IMP (B OR D))D IMP (A XOR B)D NIMP (B XOR (A IMP C))C NOR (D XOR (A OR B))(A XOR D) XNOR (B AND C)(B IMP A) XOR (D IMP C)C NIMP (D AND (A OR B))B NOR (A XOR C)C NOR (D NOR (B NIMP A))A AND (D OR (C NIMP B))D NAND (A OR (C NIMP B))B XOR (A OR (D IMP C))
PC OR (D XOR (A AND B))B OR (A XNOR (C IMP D))D NIMP (A AND (B AND C))D AND (A XOR C)C XOR (B IMP (A XOR D))B XNOR (A OR (C XOR D))B XNOR (A OR (C NOR D))D OR (B XNOR (A OR C))(B IMP A) AND (C XOR D)B NOR (C XNOR D)B XOR (A IMP (C AND D))D XNOR (C IMP (A AND B))C NAND (B XOR (A IMP D))C XNOR (B AND (A IMP D))D AND (A OR (C IMP B))D XNOR (C IMP A)A NAND (C XOR (B IMP D))D XOR (B AND C)B OR (A XNOR (D IMP C))B AND (A XOR (C AND D))(B IMP A) XNOR (D IMP C)C IMP (B AND (A IMP D))(A XOR C) NOR (B NIMP D)B OR (C XNOR (D IMP A))B NAND (D XOR (A IMP C))B NAND (A IMP (C IMP D))B NOR (A NIMP C)D NOR (B AND C)C NOR (B NIMP (A AND D))D NOR (A NOR (B XNOR C))A OR (B AND (C AND D))(A XOR B) OR (C NIMP D)A AND (B OR C)A NIMP (C XOR D)A NAND (B XOR (C OR D))(B IMP A) XOR (C AND D)
QC NOR (D XNOR (B IMP A))A AND (C IMP D)D NOR (C XNOR (B IMP A))A OR (C XNOR D)(A OR B) IMP (C XOR D)B NOR (A XNOR D)A NOR (C XNOR (D IMP B))B NOR (A XNOR (C XOR D))C IMP (A AND (B OR D))D NIMP BB AND (A OR (C IMP D))B XNOR (C OR (A XNOR D))B NIMP (D AND (A IMP C))D XNOR (C IMP B)C OR (B XNOR D)B NAND (C OR (D NIMP A))A IMP (D AND (B IMP C))A NIMP (B XOR (C XOR D))(A XOR C) AND (B XOR D)D NAND (C XOR (A OR B))(A OR D) XNOR (B XOR C)D AND (A XOR (B IMP C))B OR (A AND (C XOR D))D NIMP (A XOR (B OR C))D NOR (A NOR C)D XOR (B AND (A OR C))(A XOR B) XOR (C OR D)B OR (A XOR (C IMP D))D AND (A OR (B NIMP C))(C IMP A) NAND (D IMP B)(A OR C) XNOR (B XOR D)B OR (A XNOR (C AND D))B NOR (A NOR (C NOR D))A OR (C XOR (B AND D))(A IMP D) IMP (B XOR C)B XOR (A OR (C AND D))
RD NAND (A XOR (B AND C))D XNOR (A IMP (B XOR C))C XOR (B IMP D)C XNOR (B AND (A XOR D))(B XOR D) AND (C IMP A)A XNOR (C IMP B)D NOR (B XOR (A IMP C))B XNOR (D AND (C IMP A))B NAND (D OR (A NIMP C))B NOR (A XOR (C IMP D))(A AND B) XNOR (C AND D)B AND (D OR (A XNOR C))B NAND (C XOR (A IMP D))(A XOR B) IMP (C XOR D)A NIMP (D XOR (B AND C))B OR (A AND (D IMP C))(A OR B) AND (C XOR D)B NIMP (D XOR (A IMP C))C XNOR (B OR (A XOR D))(A IMP B) AND (D IMP C)D XOR (C IMP A)A OR (C NOR (B AND D))D AND (B IMP A)C NOR (D AND (A XOR B))B XNOR (A AND (C XOR D))A NOR (C AND (B IMP D))D NOR (C NOR (B NIMP A))A NAND (B OR (C IMP D))B NOR (D AND (A OR C))(A OR D) NIMP (B AND C)B OR (C AND (A XOR D))D IMP (C AND (A OR B))A OR (B NOR (D IMP C))(A XOR C) NAND (B IMP D)B XOR (C XOR D)D NAND (A OR (B XOR C))
SB NOR (A XNOR C)D NIMP (C AND (A OR B))(A OR D) NAND (B OR C)C AND (A OR (D IMP B))D NOR (C NOR (A NOR B))B IMP (C XOR (D IMP A))(B OR C) NAND (D IMP A)B IMP (D AND (A IMP C))(A OR B) XNOR (C IMP D)A NAND (B IMP (C IMP D))D NAND (A OR (B IMP C))B XNOR (A IMP (C IMP D))C AND (A OR (B IMP D))B NOR (A AND D)D NAND (A XOR (B XOR C))A XNOR (B IMP (C AND D))C AND (D XOR (A IMP B))A NOR (C NIMP D)D XOR (A AND (B XOR C))C OR (A XOR B)(A OR C) NIMP (B AND D)B NIMP (C AND D)B NIMP (C AND (A OR D))D XNOR (C OR (A NIMP B))C NAND (A OR D)(A XOR C) XNOR (B IMP D)B NIMP (D AND (C IMP A))A NOR (B NIMP (C IMP D))A NAND (C OR (B NIMP D))D NOR (A XNOR B)D OR (A NOR (B NIMP C))B NAND (A OR C)A NAND (B XOR (C IMP D))A AND (B IMP (C OR D))D OR (A XOR (C IMP B))D NIMP (B XOR (A AND C))
TB NIMP (A XOR (C IMP D))C OR (B XNOR (D IMP A))A OR (D NOR (B NIMP C))(B XOR C) OR (D NIMP A)(A XOR D) IMP (B XOR C)D XNOR (A AND B)D OR (C NOR (A XOR B))D AND (C IMP (A AND B))B AND (A OR (C OR D))A OR (C NOR (D NIMP B))A NIMP (D AND (B OR C))(B OR D) XNOR (C IMP A)D OR (B NOR (A XOR C))A NOR (D AND (B XOR C))A NOR (B XNOR D)C AND (B XOR (A AND D))B AND (D IMP (A XOR C))A AND (B XOR C)(A IMP B) XOR (C XOR D)C AND (D OR (A NIMP B))C NAND (B IMP (A AND D))A XNOR (B OR (C XNOR D))B XNOR (A IMP (D IMP C))C NAND (B XOR (A AND D))B XOR (C AND (A OR D))A NIMP (B AND D)A NOR (D XOR (B AND C))(B IMP A) XNOR (C OR D)B IMP (A AND (C OR D))B AND (A OR (C XOR D))D OR (B XNOR C)C OR (A NIMP B)(A AND D) OR (B AND C)C XNOR (A OR (B NOR D))A XNOR (C OR (B XNOR D))A OR (C NIMP B)
UC NIMP (B AND (A IMP D))C NOR (B XOR (D IMP A))C OR (B XOR D)B XNOR (D OR (A XOR C))B XOR (C AND (D IMP A))B XOR (D OR (A XNOR C))B OR (A XOR (C AND D))D IMP CB OR (D NOR (A XNOR C))A XOR (C AND (D IMP B))C OR (B XOR (D IMP A))A NAND (C OR (B AND D))C XNOR (B IMP D)C NAND (D IMP (A XOR B))C XNOR (A OR (B XOR D))A NOR (C NOR (B XOR D))D IMP (C XOR (A AND B))D XNOR (C OR (A XNOR B))A XNOR (D OR (B XOR C))(B XOR C) XNOR (D IMP A)A OR (D XOR (C IMP B))A AND (C XOR (B IMP D))C NOR (A XNOR B)(A XOR C) NOR (B XOR D)(B AND C) XNOR (D IMP A)D NOR (A XNOR C)(A XOR C) NIMP (B AND D)C NOR (D AND (A OR B))(A XOR D) XOR (B OR C)(A XOR C) NAND (B XOR D)B XNOR (C AND (A XOR D))(A XOR B) OR (C XOR D)D NOR (A XNOR (B IMP C))(A XOR D) AND (B IMP C)B OR (C NOR D)(A AND D) OR (B NIMP C)
VA XNOR (B OR (C NOR D))A XOR (B OR (C NAND D))D OR (B NOR (C NIMP A))(C IMP B) AND (D IMP A)B NOR (D XOR (C IMP A))D NOR (A XOR (C IMP B))B AND (D XOR (A OR C))A NAND (D IMP (B AND C))C NIMP (D XOR (A AND B))C AND (A OR (B NIMP D))D NOR (B XOR (A OR C))C OR (A XNOR B)A NAND (C OR (B XOR D))D NAND (B IMP A)D OR (C NIMP (A XOR B))A NAND (C OR (B NOR D))D OR (A XOR (B XOR C))C NOR (B XOR (A IMP D))A NOR (C NOR D)D OR (A NOR C)C NOR (A XOR (B OR D))B NOR (D XNOR (C IMP A))A XNOR (C OR (B AND D))A NOR (B XOR (C OR D))A XNOR (C AND (D IMP B))(A IMP D) AND (B XOR C)C NAND (A OR (B XNOR D))C IMP (A AND (B AND D))C XNOR (D AND (B IMP A))C OR (D AND (A IMP B))A OR (B NIMP (D IMP C))C NOR (B AND (A IMP D))C XOR (A AND (B OR D))C OR (A XOR D)A NAND (B IMP C)B OR (A NOR D)
WD NOR (C NOR (A XOR B))B NOR (D XNOR (A IMP C))B OR (C XOR D)(B IMP A) AND (D IMP C)C NIMP (B XOR (A OR D))B XOR (A OR (D NIMP C))B NIMP (A XOR D)(A AND B) XNOR (D IMP C)D XNOR (C AND (B IMP A))(A XOR B) OR (C XNOR D)D IMP (A XOR (B AND C))D OR (A NOR (B NOR C))B XNOR DB NOR (A XOR (C AND D))(A OR D) AND (C IMP B)A XOR (C OR (B AND D))(A IMP D) NIMP (B XOR C)D XOR (A AND (B IMP C))B IMP (C AND (A XOR D))A NAND (B IMP D)(A XOR D) NOR (C NIMP B)A NOR (C XNOR D)B IMP (A XOR (C IMP D))A XOR (B XOR D)A XNOR (B OR (C OR D))A NAND (D OR (B NIMP C))A NOR (B NOR (C OR D))C NOR (A NOR (B OR D))(A XOR D) OR (C NIMP B)B XNOR (D IMP A)B OR (A XOR (C OR D))C NAND (B OR (D NIMP A))A OR (B AND (C IMP D))B NOR C(A AND D) OR (B NOR C)B XNOR (D OR (A NIMP C))
XC XNOR (A IMP (B XOR D))(A AND B) OR (D NIMP C)D OR (B XOR (C IMP A))D NAND (C XOR (A IMP B))A XNOR (B AND D)D NOR (B NOR (A NOR C))D XNOR (B AND (A OR C))B NOR (C NOR (A XNOR D))A NOR (B NIMP C)B AND (C IMP A)C XNOR (A OR (D IMP B))A NOR (C NOR (B AND D))AD OR (B NOR C)D NOR (A AND (B XOR C))C NOR (A NOR (B XOR D))D XOR (A OR (B NIMP C))C OR (B AND D)D AND (B XOR (C IMP A))C IMP (B AND (D IMP A))C NOR (A NIMP (B IMP D))(A XOR C) XNOR (B OR D)A OR (B NOR (C XNOR D))(A AND D) XNOR (B XOR C)B OR (A NOR (C NIMP D))B AND (A OR (C NOR D))A XOR (B IMP (C OR D))(A XOR D) NOR (B NIMP C)B OR (C NOR (D NIMP A))B IMP AD XOR (C OR (A NOR B))(A IMP B) XOR (C AND D)B NAND (A IMP C)(A AND D) NOR (B XNOR C)A NOR (B AND (C XOR D))A NIMP (C XOR (B OR D))
YA AND (B XOR (C OR D))(B OR D) AND (C IMP A)B NOR (A NIMP D)C NAND (D IMP B)A NIMP (B XOR C)D OR (C XOR (A IMP B))C AND (B XOR (D IMP A))C NOR (B AND (A XOR D))B NAND (D XOR (A OR C))A XNOR (B IMP (C OR D))A IMP (B XOR (C AND D))C NIMP (D AND (A IMP B))B XNOR (C XOR D)D XNOR (B IMP A)A NOR (B NOR (C IMP D))(A AND C) OR (B NOR D)D OR (A NIMP C)B XNOR (A OR C)(B AND D) XNOR (C IMP A)B XOR (A IMP D)D OR (A NOR (B XNOR C))A XNOR (C OR D)(A OR D) NAND (C IMP B)(A XOR C) AND (B OR D)B IMP (A XOR C)C OR (A AND D)(B IMP A) AND (C OR D)(A XOR C) AND (B IMP D)C XOR (D AND (B IMP A))D NAND (C XOR (A AND B))B AND (D IMP C)A NOR (D NOR (C NIMP B))A NAND (D OR (B NOR C))C OR (B XOR (A AND D))B OR (A XNOR (C OR D))D
ZD XNOR (A OR (B OR C))C AND (A XOR D)(A AND C) NOR (D NIMP B)B NOR (C AND (A XOR D))D NAND (A OR B)A NAND B(A OR B) NIMP (C XOR D)B IMP (C AND (A OR D))(B IMP A) NAND (C OR D)B AND (A XOR D)D OR (A NIMP (B OR C))B NAND (A OR (C XOR D))D OR (A XNOR (C IMP B))(A IMP C) XOR (B IMP D)B NOR (A NOR D)A NOR (D NIMP C)D NAND (B OR (A NOR C))D NOR (B AND (A OR C))(A OR D) XOR (B OR C)(A IMP C) NAND (B XOR D)D XOR (A IMP (B IMP C))(A OR D) XNOR (B IMP C)(A OR C) XNOR (B OR D)A XNOR (D OR (B NIMP C))D NAND (B XOR C)D XNOR (B AND (C IMP A))(A XOR C) NOR (B AND D)B NAND (C XOR (A AND D))(C IMP A) XNOR (D IMP B)C NOR (B XNOR D)(A IMP B) XNOR (C OR D)(B XOR C) NAND (D IMP A)A NAND (D XOR (B OR C))C XNOR (A OR (B AND D))A OR (C XOR D)B NAND (C IMP (A XOR D))
1
0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ
0(A IMP C) NAND (D IMP B)D NAND (A IMP (B IMP C))A NOR (C NIMP (B AND D))(A AND B) OR (C AND D)C NOR (A NIMP (B OR D))C OR (D NOR (A NIMP B))B NOR (C NOR (D NIMP A))D NOR (C NIMP (A AND B))B NIMP (A AND D)D NAND (C XOR (A AND B))A NOR (B AND (C XOR D))B OR (C NOR (D NIMP A))B NOR (A AND (C XOR D))(A OR D) XNOR (B IMP C)D AND (C IMP (A XOR B))B XNOR (C IMP D)D XOR (A OR B)A NOR (B NIMP (C IMP D))C IMP (D XOR (B IMP A))(A XOR B) OR (C XOR D)B XNOR (A OR (C XNOR D))B XNOR (A IMP (C IMP D))C NAND (B XOR D)C OR (A XOR (B XOR D))(A XOR D) OR (B XNOR C)D XOR (C AND (A IMP B))A OR (B AND (C IMP D))D XOR (A OR (B OR C))A NAND (C XOR D)D OR (B XOR (A AND C))A NIMP D(A XOR B) XNOR (D IMP C)B NOR (D XOR (A IMP C))C AND (A IMP (B AND D))B OR (A XOR (C XOR D))C OR (A NOR (B IMP D))
1(B IMP A) NAND (C XOR D)(A OR B) XNOR (C OR D)(A IMP D) NIMP (B XOR C)B OR (C NOR (A AND D))B XOR (C XOR D)C NAND (D IMP (A XOR B))(B OR D) AND (C IMP A)D NAND (C XOR (B IMP A))C IMP (B AND (A XOR D))B IMP (A AND (C OR D))A OR (D NOR (B XNOR C))A NIMP CA XNOR (D AND (B OR C))A XOR (C OR (B AND D))D NAND (A OR (B OR C))C OR (B AND (A OR D))B NAND (A OR (C XNOR D))A OR (D NOR (B NIMP C))C XOR (D OR (A NOR B))D OR (B XOR (C IMP A))(A XOR C) NOR (B NOR D)D XOR (A OR (B NIMP C))A NOR (B NOR (C NIMP D))(A AND D) NOR (B NIMP C)B XOR (D AND (A OR C))D XNOR (B OR (A XNOR C))C OR (B XNOR (A OR D))D NAND (A IMP (B AND C))C IMP (B AND D)C OR (D AND (A XOR B))(A OR C) XNOR (D IMP B)C AND (A OR (B IMP D))C NAND (A XOR (B XOR D))A XNOR (D OR (B XOR C))A NOR (C NIMP B)D NOR (A NIMP B)
2D XNOR (C AND (A IMP B))D NAND (B OR (A AND C))D OR (C NOR (A NOR B))B NOR (C NOR (A AND D))(A AND B) NOR (C XNOR D)(A XOR D) AND (B IMP C)B OR (C NIMP D)(A XOR D) XOR (B AND C)C OR (D XOR (B IMP A))D IMP (C XOR (A AND B))A NAND (C IMP (B AND D))D NAND (C OR (B NIMP A))C AND (A OR (D IMP B))C XOR (A AND (B XOR D))B AND (D IMP (A AND C))B NAND (D XOR (A AND C))(A OR C) XNOR (B AND D)D NOR (B NOR (A AND C))B AND (A IMP (C XOR D))B OR (D NIMP C)D NOR (C NOR (A XOR B))(A AND C) NOR (B XNOR D)A OR (B NOR (C NIMP D))(A IMP C) NAND (B OR D)B IMP (C XOR (D IMP A))A IMP (B AND (C OR D))A NAND (C IMP B)C OR (D AND (A IMP B))A XNOR (C OR D)C AND (B XOR (D IMP A))B IMP (D XOR (A IMP C))B NIMP (D AND (A OR C))D NOR (A XNOR (B AND C))C AND (D OR (A XOR B))(A XOR C) XNOR (B OR D)D NOR (C NIMP (A XOR B))
3A NAND (C XOR (D IMP B))D XOR (C OR (B NIMP A))A XNOR (C IMP (B AND D))C NIMP AA XNOR (C IMP (B XOR D))A OR (D AND (B XOR C))A XOR (B OR (C XOR D))C XNOR (A OR B)C NOR (D AND (A OR B))D XNOR (B AND (A IMP C))C XNOR (A OR (B AND D))D XOR (A AND (B AND C))B OR (D NOR (A XOR C))A NAND (C IMP D)B NAND (A XOR (C XOR D))A NOR (C XOR D)B XOR (A OR (D NIMP C))A NAND (B IMP (C IMP D))B IMP (A XOR (C IMP D))D OR (A XNOR (B XOR C))D XNOR (C AND (A OR B))B XNOR (A OR C)A XNOR (D IMP (B XOR C))(A OR C) NIMP (B AND D)(A AND C) OR (B NOR D)C IMP (D AND (A OR B))D NIMP (B XOR (A AND C))C NAND (A IMP B)C IMP (A XOR B)C IMP (B AND (A OR D))(A IMP D) AND (C IMP B)C NOR (A XOR (B IMP D))B OR (C NIMP (A XOR D))D NIMP (A AND C)A AND (C XOR (B IMP D))A NOR (B XOR (C XOR D))
4A IMP (D AND (C IMP B))A XOR (B AND C)B NOR (A XOR (C AND D))B XNOR (A IMP D)B NAND (C OR (A XNOR D))D NOR (C XOR (A OR B))D NOR (C XNOR (A OR B))C AND (A OR (B AND D))B AND (C OR (D NIMP A))B XOR (D AND (A XOR C))D NIMP (C XOR (A OR B))A XOR (C OR D)B AND (D XOR (A AND C))B AND (A XOR (D IMP C))C NOR (A AND (D IMP B))C NOR (B XNOR D)C AND (A OR (B NOR D))D XOR (B OR (A NIMP C))A XOR (B OR (C NAND D))D XOR (C OR (A NOR B))D OR (A AND (B OR C))D AND (B OR C)C AND (B OR (D NIMP A))B IMP AB NIMP A(B IMP A) NIMP (C XOR D)A NOR (C NIMP D)(B XOR C) NAND (D IMP A)A XOR (C AND (B IMP D))D NAND (A IMP (B OR C))B AND CA AND (B IMP D)D NIMP (B AND (C IMP A))D AND (B IMP (A XOR C))(A IMP B) XOR (C OR D)A OR (B NOR D)
5B NAND (A OR (C OR D))B XOR (A IMP (D IMP C))A NOR (C XNOR D)A OR (D NIMP (B AND C))B XOR (A OR (C XOR D))B IMP (A AND (C IMP D))D OR (A NOR (B OR C))C OR (A NIMP (B AND D))C NOR (A NOR (B XOR D))D NOR (A XNOR (C IMP B))B NOR (A XOR (C XOR D))C AND (B XOR (A AND D))D AND (B OR (C NIMP A))(A OR B) AND (D IMP C)A AND (B XOR (D IMP C))(A OR B) NIMP (C XOR D)(B IMP A) IMP (C AND D)B NAND (A IMP (D IMP C))A NOR (B NOR (C IMP D))(A IMP B) NAND (C XOR D)C XOR DD OR (A NOR C)B AND (A OR (C NOR D))(A IMP C) IMP (B AND D)D OR (A NIMP (B OR C))B NAND (D IMP C)(B IMP D) XOR (C IMP A)B XOR (D AND (A IMP C))(A OR C) AND (B IMP D)A XOR (D OR (B XOR C))B AND (A OR (C XNOR D))A NAND (B IMP (C AND D))A OR (D XOR (B OR C))D NIMP (A AND (B OR C))A OR (C NOR (B NIMP D))A IMP (C AND (B IMP D))
6(A XOR C) NOR (B AND D)C NOR (B AND (A XOR D))A OR (C NOR (D NIMP B))A XNOR (B IMP (C XOR D))(A XOR C) XNOR (D IMP B)B XNOR (C OR (D NIMP A))B IMP (D XOR (A AND C))C NAND (B XOR (A AND D))(C IMP B) NAND (D IMP A)D NIMP (A AND B)D OR (A NIMP (B IMP C))A OR (B NOR (C OR D))A AND (B OR (C NIMP D))B AND (D IMP (A XOR C))C NOR (A XNOR (B AND D))D OR (B XNOR C)BA NIMP (D XOR (B OR C))A NAND (B OR (C NIMP D))B NOR (C XOR (D IMP A))D XNOR (A IMP B)D NOR (A NOR (B NIMP C))D XOR (A OR (C NIMP B))(A AND C) XNOR (B OR D)D NAND (C XOR (A IMP B))B AND DA NOR (B NOR (D NIMP C))C NOR (A XOR D)D OR (A XNOR B)A NAND (B OR D)(A OR C) IMP (B XOR D)A NAND (B IMP D)(A XOR B) XNOR (C AND D)A NAND CC XNOR (A IMP (B IMP D))C NAND (A XOR (D IMP B))
7A XNOR (B OR (C IMP D))D AND (C OR (A NOR B))A OR (B AND (D IMP C))B OR (A XNOR C)B NAND (A OR (C NIMP D))(A XOR D) OR (B AND C)D OR (C NOR (A NIMP B))A XNOR (B AND D)C NAND (D IMP A)C XNOR (A AND B)B XNOR (C XOR D)(A XOR B) AND (C OR D)B NOR (C NOR (A NOR D))B NOR (D XOR (C IMP A))B IMP (C XOR (A OR D))B NOR (C NIMP (A AND D))D IMP (C AND (A OR B))B OR (C XOR (D IMP A))C AND (A OR (B XOR D))C XOR (D AND (B IMP A))B NAND (C OR (A NIMP D))D NOR (C NIMP B)C OR (A NOR (B XOR D))(A XOR B) NOR (D NIMP C)B IMP (D XOR (C IMP A))(A AND D) XOR (C IMP B)D NOR (B AND (A OR C))D NIMP (A XOR (B AND C))(A XOR B) XOR (D IMP C)B OR (C NIMP A)B XNOR (A IMP (D IMP C))D NOR (A XNOR B)C OR (A XOR (B IMP D))(A IMP D) XOR (C IMP B)D NAND (A OR B)C XOR (B AND (D IMP A))
8C IMP (B XOR (A IMP D))A OR (B NIMP (D IMP C))D NAND (B OR (A NOR C))C OR (A NIMP B)B AND (A XOR C)(A AND C) XNOR (B IMP D)(A OR C) XNOR (B OR D)C OR (A XNOR (B IMP D))(A XOR C) XOR (B IMP D)A OR (B NOR (C NAND D))(B AND C) OR (D NIMP A)D OR (A NOR (B IMP C))A XNOR (C OR (B XNOR D))A NOR (B XOR (C OR D))C OR (B AND D)(B AND C) XNOR (D IMP A)D NOR (B NOR (A XNOR C))(A IMP D) AND (B IMP C)D NAND (A IMP B)D XOR (C AND (A XOR B))A NIMP (B XOR C)C IMP (A AND D)(A XOR D) XOR (B OR C)B NOR (C XNOR (D IMP A))D AND (A XOR B)C XNOR (A OR (B XOR D))D XOR (C AND (B IMP A))A XOR (D IMP (B XOR C))A XOR (D AND (B IMP C))(A XOR D) NOR (B XNOR C)A NOR (B NIMP (C AND D))D NAND (B OR (A XNOR C))A XOR (D OR (B NOR C))C OR (D XNOR (A OR B))A NAND (D OR (B AND C))C XOR (B AND D)
9C NOR (B NIMP D)B XOR (C OR (A NIMP D))D NAND (C IMP B)B NOR (A NOR (C NAND D))D NIMP (B AND (A IMP C))D NOR (A XNOR C)C AND (A IMP D)D NAND (B XOR (A AND C))B NOR (D NOR (C NIMP A))(A AND D) XNOR (C IMP B)A XNOR (B AND (C XOR D))(A AND C) NOR (B NOR D)D OR (B NIMP (A XOR C))B NAND (A OR (D NIMP C))D IMP (A AND (B OR C))D OR (A XOR (B XOR C))B OR (C NOR D)(A XOR D) OR (C NIMP B)C NIMP (B AND D)B NAND (D OR (A NOR C))B XOR (A AND C)C NIMP (A XOR (B OR D))D NAND (A OR (B IMP C))D XNOR (A OR (B AND C))B NOR (A XNOR (C OR D))(C IMP A) XNOR (D IMP B)D XOR (B OR C)A AND (D OR (B NOR C))C AND (B IMP (A AND D))(B XOR C) OR (D NIMP A)B IMP (C AND (A XOR D))(A OR D) AND (B OR C)A IMP (B AND (D IMP C))D XOR (A AND (B XOR C))C XNOR (D OR (A AND B))(A IMP B) NAND (C OR D)
AD XNOR (A AND (C IMP B))A NOR (C NOR D)C AND DB NOR (A NOR C)A NIMP B(A XOR B) OR (C AND D)D AND (A OR (B IMP C))D NOR (A AND (B XOR C))B NOR (D XNOR (A OR C))C XOR (A AND B)B XNOR DA NOR (D NOR (B NOR C))A OR (B NOR (C NOR D))C NAND (A XOR (B IMP D))(A OR B) XOR (C IMP D)C NOR (B XOR (A IMP D))C OR (A XOR (B OR D))A AND (B OR (C NOR D))(A OR C) IMP (B AND D)D OR (A XOR B)B OR (C XNOR D)B OR (A NOR (D NIMP C))(A XOR C) XOR (D IMP B)B XNOR (C AND (A XOR D))C AND (D IMP (A XOR B))C NAND (A IMP (B XOR D))B OR (C XNOR (A AND D))C NIMP (D XOR (B IMP A))B OR DD OR (C AND (B IMP A))A NAND (D XOR (C IMP B))B NAND (A IMP C)(C IMP B) AND (D IMP A)A AND (B XOR C)A NAND (D IMP (B XOR C))C NAND (A IMP (B OR D))
B(A XOR B) XNOR (C OR D)D OR (A XNOR (C IMP B))C NAND (B OR (A NOR D))B NOR (D XOR (A OR C))D IMP (B AND (A OR C))D XOR (B AND (A IMP C))D XNOR (A AND C)(A IMP B) AND (C IMP D)B NOR (A NOR (D NIMP C))C OR (A XOR (B AND D))B NIMP DA NOR (D AND (B XOR C))D AND (A OR (B OR C))A AND (C OR (B XNOR D))B NAND (A XOR C)A OR (B NOR (C XOR D))D OR (C XOR (A AND B))D AND (A OR (B NAND C))(A IMP D) XNOR (B XOR C)A NAND (C OR (B XOR D))(A OR B) NIMP (C AND D)(A AND D) OR (B NOR C)(B IMP A) XOR (C OR D)C NIMP (A AND (B AND D))C OR (B NIMP (A XOR D))B OR (A NOR C)C NAND (B OR (A NIMP D))(A IMP C) XOR (B OR D)(A OR B) XNOR (C IMP D)C NAND (B OR (A AND D))A OR (D XOR (C IMP B))C NAND (A OR (B XOR D))A XOR (C OR (B XNOR D))D IMP (A XOR (B IMP C))B NAND CA NOR (B NOR (C XOR D))
CB NAND (C XOR (A AND D))(A AND B) NOR (C NOR D)B NAND (A OR C)(A OR D) AND (C IMP B)D IMP (B XOR (A IMP C))B OR (D NOR (A XNOR C))A XNOR (D OR (B XNOR C))D OR (A NIMP (C IMP B))B NOR (C NOR (A NIMP D))A NOR (C NOR (B XOR D))C NAND (D IMP B)C OR (B XOR (D IMP A))A XOR (C OR (D NIMP B))C OR (B NOR (A XOR D))B NOR (D NOR (A NIMP C))C XNOR (B OR (D NIMP A))D OR (A XNOR C)C NIMP (B XOR (A AND D))A NIMP (B AND (C IMP D))A XNOR (C OR (D NIMP B))A OR (B NIMP C)C NAND (A OR (B XNOR D))B NIMP (A AND (C IMP D))C IMP (A AND (D IMP B))C XNOR (D IMP B)B AND (A XOR D)B XOR (C AND (D IMP A))(A XOR B) OR (C XNOR D)B NOR (D NIMP (A XOR C))D XNOR (C OR (A NIMP B))D AND (B XOR (C IMP A))D NAND (A XOR (C IMP B))C NOR (B AND (A IMP D))B NAND (A XOR D)D XNOR (B AND C)(A IMP C) XOR (B IMP D)
D(A XOR D) NOR (B NIMP C)A OR (C NIMP B)D NOR (C AND (B IMP A))B XNOR (D IMP A)(A IMP C) NIMP (B XOR D)B OR (A NOR (C NAND D))B OR (A NOR (C XOR D))B NIMP (A AND (C XOR D))A XOR (D OR (B AND C))B XOR (C AND (A IMP D))D NOR (A NOR (B AND C))C XNOR (B OR D)C NIMP (B AND (A OR D))(A AND C) OR (B XNOR D)B OR (D XOR (C IMP A))A NOR (B AND (C AND D))D OR (A NOR (B AND C))B IMP (A XOR (C OR D))C OR (B NOR (A NOR D))D AND (A IMP B)D OR (A XOR (C IMP B))C AND (D XOR (B IMP A))C XOR (A OR (B NAND D))A XOR (B XOR D)(A OR D) NIMP (B AND C)D NAND (B OR (A XOR C))B OR CC NOR (A AND (B IMP D))B NAND (A IMP (C XOR D))B NOR (A XOR (D IMP C))B XOR (A IMP C)C OR (A XOR (D IMP B))C XNOR (D AND (B IMP A))B OR (A XOR (C OR D))A NOR (B NIMP D)D AND (A OR (B XOR C))
E(A AND B) XNOR (D IMP C)C XNOR (A IMP B)D XOR (A OR (B NOR C))(A XOR B) NOR (C AND D)C NAND (B IMP (A XOR D))(A IMP D) XNOR (B OR C)D NIMP (A XOR (B IMP C))D AND (B OR (A XNOR C))B AND (A OR (D NIMP C))A IMP DD XNOR (A OR (B NOR C))(B IMP A) AND (C IMP D)A NIMP (B XOR (C AND D))B NOR (D NIMP C)A NOR (B AND (C IMP D))B NAND (C XOR (A OR D))A XNOR (D IMP C)(A XOR B) AND (C XOR D)C IMP (D AND (B IMP A))B NIMP (C AND (A OR D))B XNOR (A OR (D IMP C))D NAND (B XOR C)D AND (C IMP (A AND B))C XNOR (A OR (D NIMP B))A XOR (B IMP C)A NIMP (C AND (B IMP D))C XOR (D AND (A OR B))(A XOR C) XNOR (B AND D)B XOR (D AND (C IMP A))A XOR (B OR (C OR D))(B IMP D) XNOR (C IMP A)A AND (B IMP (C IMP D))C NIMP (B XOR (A OR D))A OR (C AND (B IMP D))(A OR B) AND (C IMP D)B IMP (A XOR C)
FD NOR (B XOR (A OR C))B OR (A NOR (C IMP D))D NOR (A XOR (B OR C))B OR (C NOR (A NIMP D))C NAND (A XOR D)C NOR (A AND (B XOR D))C XNOR (B IMP D)(A XOR B) AND (D IMP C)D NIMP (C AND (A IMP B))(A AND D) XNOR (B XOR C)A NOR CD NOR (A AND (B IMP C))D NOR (A XOR B)C NOR (B XOR (A AND D))A OR (C NOR (B XOR D))B NIMP (A XOR (C OR D))C XOR (D OR (B NIMP A))C XNOR (A IMP (B AND D))C NOR (B XOR (D IMP A))B OR (A XOR C)D NIMP (C AND (A OR B))B XNOR (A IMP C)(A IMP C) AND (D IMP B)A NAND (B XOR (C IMP D))(A IMP D) XNOR (C IMP B)B NOR (A AND (C AND D))A OR (B AND (C XOR D))B NAND (A IMP (C AND D))B NOR (D AND (C IMP A))A OR (B NOR (D IMP C))B NOR (A XOR D)A XNOR (B OR (C AND D))A AND (B XOR (C AND D))A AND (B OR (C IMP D))A AND (D XOR (B AND C))A NOR (B XNOR (D IMP C))
GB IMP (A AND (C XOR D))C NAND (D OR (A XNOR B))A NAND (B OR (C NAND D))C OR (A XOR B)A NOR (B NIMP C)C NAND (A OR D)C XNOR (D IMP A)D NIMP (B AND (A OR C))C NAND (A IMP (D IMP B))D OR (C XOR (B IMP A))C NOR (B XNOR (A AND D))(B IMP D) AND (C IMP A)C NIMP (D XOR (A AND B))(A XOR D) XOR (C IMP B)C NOR (A XOR (B OR D))(A OR B) XNOR (D IMP C)A OR (C AND (B OR D))B AND (C IMP A)C XNOR (A OR (B NAND D))A XNOR (D AND (C IMP B))B XNOR CD XNOR (A AND B)C NOR (B NOR (D NIMP A))A AND (C IMP B)C XOR (A OR D)C XOR (B OR (D NIMP A))C AND (A IMP (B XOR D))D NOR (A NIMP (B OR C))A NIMP (C XOR (B AND D))D XOR (A OR (B NAND C))(B IMP A) IMP (C XOR D)D NAND (C OR (A NIMP B))B XNOR (A OR (C NAND D))A NOR (C XNOR (B AND D))B AND (A OR (C OR D))(A OR C) XOR (B AND D)
HC NOR (A NIMP (B AND D))C NOR (B XOR D)A AND (B IMP (C AND D))B OR (A XNOR (C OR D))C OR (B XOR (A AND D))A NOR (B NOR (C OR D))A NAND (D OR (B XNOR C))D XOR (B AND (A XOR C))D AND (B OR (A XOR C))D NOR (B NOR C)A XNOR (C OR (B AND D))A NAND (B IMP (D IMP C))C XOR (A OR (D IMP B))(A XOR C) XOR (B OR D)D NIMP (C AND (B IMP A))B OR (C AND (D IMP A))C XNOR (B AND (D IMP A))D XNOR (A IMP (B OR C))B OR (A NOR (C AND D))(B IMP A) AND (D IMP C)D NIMP (B AND C)C XNOR (B AND D)D XOR (A IMP (B AND C))C XNOR (D OR (B NIMP A))C IMP AA NOR (B NOR (C XNOR D))B NAND (C IMP (A XOR D))(A XOR B) XOR (C XOR D)D XOR (A AND (B IMP C))D NOR (A XOR (C IMP B))D OR (C NIMP B)A XOR (B OR (C NOR D))B NIMP (C AND D)B XOR (A AND (C XOR D))B AND (D IMP C)C NOR (A XNOR (D IMP B))
IB XOR (D IMP (A AND C))C IMP (D AND (A IMP B))C NOR (A AND D)A IMP (C XOR (B IMP D))A AND (C XOR (B AND D))B XOR (C IMP (A XOR D))A NAND (C OR (B AND D))D OR (B AND C)D XOR (A AND B)B NOR (A AND D)A NIMP (B XOR (C OR D))A NAND (B OR (C IMP D))D OR (A XNOR (B OR C))A AND (C XOR (B OR D))D IMP (C AND (A IMP B))A NOR (C AND (B XOR D))D XNOR (A OR (B IMP C))B OR (C AND (A IMP D))(A OR D) IMP (B AND C)B XOR (C IMP (A AND D))A XOR (B AND (D IMP C))B NAND (C IMP D)(A AND B) NOR (D NIMP C)A NOR (C AND (D IMP B))A NAND (D OR (B NIMP C))C AND (B IMP D)B AND (C IMP (A AND D))(A AND C) XNOR (D IMP B)D XNOR (A OR (B NIMP C))C XNOR (B OR (A AND D))(A XOR B) NAND (C OR D)A XNOR (C AND (D IMP B))C AND (A XOR B)C AND (D XOR (A IMP B))A NAND BA AND (B OR (C XNOR D))
JC AND (B XOR D)A AND (C OR (B XOR D))A IMP (B AND (C IMP D))(B AND D) XNOR (C IMP A)B XNOR (A AND (C AND D))(A IMP D) XNOR (B IMP C)B IMP (A XOR D)B NOR (C NOR D)B XNOR (D IMP C)B OR (D NOR (A AND C))C NOR (B NOR (A NOR D))D IMP CD XOR (B OR (A XNOR C))(A IMP B) NAND (C IMP D)C OR (A XNOR (B XOR D))D AND (C XOR (B IMP A))A IMP (D XOR (C IMP B))D XNOR (C AND (B IMP A))D OR (A NOR (B NOR C))D NIMP (A XOR (C IMP B))(A XOR D) AND (C IMP B)B IMP (A XOR (D IMP C))B OR (C XOR D)D AND (B IMP A)A OR (B NOR (C XNOR D))D NOR (A XOR (B IMP C))(A IMP D) IMP (B AND C)C OR (B XOR D)A XOR (B AND (C IMP D))A NIMP (B AND D)(A XOR D) IMP (B AND C)(A OR D) XOR (B OR C)B NOR (D NOR (A XOR C))D NOR (A NOR (B NOR C))C OR (B NIMP A)D OR (C NOR (A XNOR B))
K(A XOR B) NOR (C NIMP D)D XOR (A OR (B XOR C))(A IMP D) AND (B OR C)B IMP (C XOR (A AND D))B NAND (A IMP (C OR D))D OR (C XNOR (B IMP A))(A OR C) NAND (D IMP B)A NIMP (B AND (D IMP C))C AND (D OR (A AND B))C OR (B NOR (D NIMP A))(A AND C) XOR (D IMP B)C IMP (A AND (B IMP D))(A XOR B) XOR (C IMP D)B IMP (A XOR (C AND D))C OR (A NIMP (B IMP D))D XOR (A IMP (B OR C))D XNOR (B OR (A AND C))B NAND (D XOR (C IMP A))(A XOR C) XOR (B AND D)(B IMP A) XNOR (C OR D)B XOR (C IMP D)(A OR D) NIMP (B XOR C)B IMP (C AND (A OR D))D XOR (C IMP B)B AND (D XOR (A IMP C))A XOR (B IMP (C IMP D))D AND (B XOR (A IMP C))D OR (A AND C)C AND (B XOR (A IMP D))A XOR (B OR (D NIMP C))B AND (A OR (C XOR D))A XNOR (B IMP C)A AND DD XOR (A OR (B AND C))A IMP (B XOR (C XOR D))B AND (D IMP A)
LA XNOR (C OR (B NIMP D))(A IMP B) XOR (C AND D)D XOR (C OR (A NIMP B))B AND (A OR C)A NOR (C AND (B IMP D))A AND (D OR (B XNOR C))A NIMP (D AND (B IMP C))A NOR (C NOR (B XNOR D))C IMP (A XOR (B AND D))D NAND (A XOR B)(B XOR C) AND (D IMP A)C NOR (B XNOR (A OR D))(A AND D) OR (B NIMP C)C AND (A XOR (B XOR D))(A XOR D) NAND (B OR C)B OR (C NIMP (A AND D))D XOR (C IMP (A XOR B))B NOR (A XNOR (C IMP D))(A OR B) NAND (C IMP D)A IMP (D AND (B OR C))C XOR (D OR (A NIMP B))A NOR (C XNOR (B IMP D))C NOR (A NOR (D NIMP B))C IMP (A XOR (B IMP D))B IMP (D AND (A IMP C))A OR (C XOR D)B NAND (A OR (C NOR D))C OR (B XNOR (A IMP D))(A XOR C) NAND (B XOR D)B AND (C OR (A XOR D))A IMP (B XOR (C IMP D))(A IMP C) XOR (D IMP B)C OR (A XNOR B)A OR (C NOR (B NOR D))A NOR (D XNOR (B AND C))A AND (B IMP (D IMP C))
MC XNOR (D OR (A NOR B))B NAND (D XOR (A OR C))D XNOR (A OR (B OR C))B OR (A NOR (C OR D))C XNOR (A IMP D)B OR (C NOR (A XNOR D))D NAND (B XOR (A IMP C))C NIMP (A XOR (D IMP B))C IMP (B XOR (D IMP A))A NOR (D XOR (B AND C))A NIMP (B AND C)A XOR (B AND (C AND D))(A XOR D) IMP (B XOR C)A NOR (D XNOR (B OR C))B NOR (A NIMP (C IMP D))C NOR (A XNOR B)D NOR (C XNOR (A AND B))A OR (C AND (B XOR D))A OR (C NOR D)C NOR (A XNOR (B IMP D))B NOR DC NOR (B NOR (A XNOR D))A OR (B NOR (C IMP D))D OR (C NOR (A XOR B))D NAND (A OR (B AND C))A NOR (D NIMP B)D XNOR (B OR (A NIMP C))B XOR (C IMP A)D NOR (A XNOR (B OR C))(A IMP B) XNOR (D IMP C)A XOR (C AND D)A XOR (B IMP (C OR D))D XNOR (A OR (C IMP B))A IMP (C AND (D IMP B))D NOR (B NOR (A NOR C))A NOR (D NOR (B XNOR C))
NC OR (B XNOR (A AND D))C NOR (A NOR (B OR D))A XNOR (B OR (C NAND D))B XNOR (C IMP (A XOR D))B NOR (A AND (D IMP C))A XOR (D AND (B XOR C))A OR (C XNOR (B OR D))B OR (D AND (A XOR C))(A OR B) IMP (C AND D)(A XOR C) AND (D IMP B)B NIMP CB IMP (C AND (D IMP A))C AND (D OR (A NIMP B))C OR (D NOR (A NOR B))B XOR (A AND (D IMP C))B NAND (A OR (C XOR D))D IMP (A AND (B IMP C))A NOR (D XOR (C IMP B))C NOR (D NIMP (A AND B))C NAND (B OR (D NIMP A))(B IMP C) XOR (D IMP A)D IMP (A XOR (B OR C))A IMP (B XOR (C AND D))B XNOR (D OR (A NIMP C))(A IMP C) IMP (B XOR D)C AND (B OR D)B NAND (C IMP A)B NAND (D IMP A)C XNOR DD XNOR (A AND (B IMP C))C XNOR (A OR (D IMP B))A OR (C XOR (B IMP D))B NOR (D NIMP (A AND C))D AND (C OR (A NIMP B))(B OR D) NAND (C IMP A)D NAND (A XOR (B IMP C))
OA XNOR (B OR (C XOR D))C XNOR (D AND (A IMP B))A XOR (B AND D)B NOR (A NIMP (C AND D))C AND (A IMP (B IMP D))A XNOR (B OR (C OR D))B OR (D AND (C IMP A))C NAND (B IMP (A AND D))C NAND (A OR (B NOR D))D XNOR (B AND (C IMP A))B IMP (D XOR (A OR C))D OR (A AND (B AND C))B AND (C IMP (A XOR D))B XNOR (D OR (A NOR C))A NAND (B IMP C)B XNOR (A AND (C XOR D))A AND (C IMP (B AND D))D NOR (C NOR (B NIMP A))B XOR (C OR (A NOR D))C AND (A IMP (B OR D))(A XOR B) XNOR (C IMP D)A NOR (C NOR (B AND D))(A AND B) OR (D NIMP C)(A OR D) XNOR (B AND C)B AND (C XOR (A OR D))B NAND (C OR (A AND D))D XNOR (A OR B)D NOR (A AND (B OR C))(A AND B) XOR (C AND D)A NOR (D AND (B OR C))B NIMP (A AND (C OR D))A NOR (C NOR (D NIMP B))(B OR C) NAND (D IMP A)D IMP (A XOR (C IMP B))(A XOR D) NOR (B NOR C)D IMP (C XOR (A OR B))
PD AND (A IMP (B AND C))C XOR (D AND (A XOR B))(A AND D) XNOR (B AND C)B OR (A XNOR D)D NAND (A OR (C IMP B))(A XOR C) NOR (B XOR D)A XNOR (B XOR D)A OR BB NIMP (A AND (D IMP C))B NOR (A NOR D)D XNOR (B AND (A OR C))A NOR (D NIMP C)A OR (B XOR D)C OR (A XOR D)A NOR (D XOR (B IMP C))D XNOR (C OR (A XNOR B))B OR (D XOR (A IMP C))C NOR (A AND B)A OR (B NOR (C AND D))A OR (C XOR (B OR D))(A XOR C) NAND (B IMP D)D IMP (C AND (B IMP A))B XOR (A OR (C NAND D))C XNOR (A IMP (D IMP B))(A OR D) NAND (B OR C)(A XOR D) NOR (C NIMP B)A XNOR CD AND (A OR (B AND C))C NOR (D NIMP (A XOR B))C AND (B IMP A)C XNOR (B IMP A)D AND (A OR C)D AND (B XOR C)B XNOR (C IMP (A AND D))D NOR (C NOR (A NOR B))A NAND (D XOR (B OR C))
QD OR (A NOR (B XNOR C))C AND (D IMP A)B XOR (A IMP D)D NAND (C OR (A XNOR B))D XOR (C IMP (A AND B))A IMP CB NAND DB NOR CD AND (C IMP B)B XOR (C AND (A OR D))D XOR (A OR (C IMP B))(A XOR C) OR (B NIMP D)D OR (B AND (C IMP A))D NAND (A OR C)D XNOR (A AND (B XOR C))B XOR (C OR (D NIMP A))C NOR (A XOR (B AND D))B NIMP (D AND (C IMP A))A XNOR (B IMP (C AND D))A NIMP (C XOR (D IMP B))(A OR B) NAND (C OR D)A AND (B OR (C NAND D))B NOR (D NOR (A AND C))C NIMP (A XOR (B IMP D))A NOR (B NOR (C NAND D))C NAND (A OR (B OR D))A AND CA IMP (B AND D)C XOR (A IMP (B OR D))D OR (A NOR (C IMP B))(A XOR B) OR (D NIMP C)C NOR (D AND (B IMP A))(B AND D) OR (C NIMP A)C NOR (B XNOR (D IMP A))C XOR (B OR (A XNOR D))A OR (B XOR (C XOR D))
RC XOR (A OR B)C XOR (B OR D)A IMP B(B IMP A) AND (C OR D)D OR (C XOR (A IMP B))A NIMP (D AND (B OR C))D OR (B AND (A XOR C))B NOR (D XNOR (C IMP A))A NAND (D IMP (B AND C))B NOR (C AND D)D OR (A XOR (B IMP C))(A XOR D) AND (B XOR C)B NOR (C XOR (A OR D))B NOR (A NIMP D)B XOR DA OR (B NOR (D NIMP C))C XNOR (A OR (B IMP D))C OR (B NOR (A XNOR D))D NAND (B IMP C)D AND (C XOR (A OR B))A OR (C AND D)D NOR (A NOR (B XOR C))A XOR (B OR (C AND D))D NOR (B XOR C)A IMP (B AND (C AND D))(A XOR C) NOR (D NIMP B)D NOR (A NIMP C)(A AND B) OR (C NIMP D)A NAND (D OR (B NOR C))C NAND (D OR (B NIMP A))B IMP (D AND (A XOR C))(B XOR D) NOR (C NIMP A)(A XOR C) NAND (B OR D)A AND (C OR (B AND D))A OR (B XOR (C OR D))B AND (A XOR (C IMP D))
SC AND (A OR (B NIMP D))D XOR (B IMP A)D NAND (C OR (A AND B))A NIMP (C XOR (B IMP D))C NAND (B IMP A)(B OR C) XOR (D IMP A)C IMP (A AND (B XOR D))B OR (A NOR (D IMP C))A NAND (B OR C)(B IMP D) NAND (C IMP A)(A IMP B) NIMP (C XOR D)D XOR (A IMP C)(A OR B) NAND (D IMP C)A NAND (B OR (D NIMP C))C NIMP (B XOR D)(A IMP C) XNOR (B OR D)(A XOR D) NAND (C IMP B)(A OR B) XOR (C OR D)D IMP (A XOR (B AND C))C NIMP BB NOR (A XOR (C OR D))D AND (A XOR (B AND C))(A AND D) XOR (B IMP C)D AND (B OR (A NOR C))D NOR (A NOR (C IMP B))D IMP AA NOR (B NOR (C AND D))B OR (C XNOR (A IMP D))B NAND (A XOR (C AND D))A NAND (C OR (B NOR D))B XNOR (D OR (A AND C))A NOR BB NIMP (A XOR (C IMP D))B NAND (A XOR (C IMP D))A XOR (C OR (B NOR D))A NOR (B NIMP (C OR D))
TC NOR (A NOR B)B NAND (A OR (D IMP C))A NOR (B XNOR D)A NOR (B XNOR (C AND D))A XOR CC IMP (A XOR D)B OR (A NOR D)A XOR (D IMP C)A XNOR (B OR (D IMP C))(A AND B) XOR (D IMP C)A NAND (C OR (B NIMP D))B XOR (C OR (A AND D))B XOR (C OR (A XOR D))B NOR (C XOR (A AND D))D OR (B NOR (C NIMP A))A XNOR (B OR (C NOR D))C NIMP (D AND (A IMP B))A XNOR (B IMP (C IMP D))(A OR B) XOR (C AND D)C NIMP (A XOR (B XOR D))(A AND D) NOR (B XNOR C)D XOR (A IMP (B IMP C))A NIMP (C AND (D IMP B))(B IMP A) XNOR (C AND D)B IMP (D AND (C IMP A))(B IMP C) AND (D IMP A)B NIMP (A AND C)(A OR D) NAND (C IMP B)(A XOR C) XNOR (B IMP D)C XNOR (A OR D)B OR (C NOR (A XOR D))B NIMP (C AND (A IMP D))(A IMP D) NAND (B IMP C)B XNOR (D OR (A XOR C))D NAND (B XOR (A OR C))A OR (B XNOR (C OR D))
UA NOR (C AND D)B IMP (D AND (A OR C))C NOR (D NOR (A XOR B))B OR (A XOR D)(A AND D) XNOR (B IMP C)B NOR (C NOR (A XNOR D))D OR (B XNOR (C IMP A))D NOR (C XOR (A AND B))C NOR (A NIMP (B IMP D))B NOR (D XNOR (A IMP C))D OR (A NOR (B NIMP C))A NOR (D XNOR (C IMP B))C OR (B NOR D)C NOR (A NOR (B AND D))A AND (D OR (B NIMP C))D NOR (A XOR (B XOR C))C NIMP (B AND (A IMP D))(A XOR B) NOR (C XOR D)D XNOR (A OR C)A XNOR (C IMP D)D NAND (A XOR (B OR C))A XOR DB OR (C XOR (A IMP D))B AND (A OR (C NIMP D))C OR (A AND D)B XOR CD OR (B NIMP (A AND C))D XNOR (A IMP (C IMP B))C IMP (A AND (B AND D))A(B XOR C) XNOR (D IMP A)D NOR (C XOR (A IMP B))B AND (D XOR (C IMP A))B NOR (A NOR (C AND D))(A AND C) NOR (D NIMP B)B XOR (D OR (A NIMP C))
VB NAND (A IMP D)A NAND (D XOR (B IMP C))B XOR (A AND (C AND D))C NOR (D AND (A XOR B))B XNOR (C IMP A)C NOR (A NOR (B NOR D))B XOR (D OR (A XNOR C))C AND (B XOR (A OR D))C XOR (D AND (A IMP B))A XNOR (C OR (B XOR D))A NIMP (C XOR (B OR D))(B XOR C) NOR (D NIMP A)B XOR (C OR D)C AND (A XOR D)(A AND D) OR (B AND C)A NAND (B OR (C OR D))C IMP (B AND (D IMP A))(A OR B) NAND (C XOR D)(A AND C) XOR (B XOR D)B NOR (A XNOR C)(A IMP C) AND (B XOR D)A XNOR (C AND (B XOR D))B NIMP (C AND (D IMP A))B OR (D NIMP (A AND C))(B IMP A) NAND (C OR D)A NOR (B AND C)B OR (A NOR (C NIMP D))B OR (D XNOR (A AND C))A IMP (C AND D)B NOR (C AND (A XOR D))C XOR (D OR (A XNOR B))A NAND (C XOR (B AND D))(A IMP C) XOR (B AND D)C XOR (A IMP (B XOR D))B OR (A XOR (C AND D))(A XOR C) NIMP (B AND D)
WC NAND (A OR B)C IMP BB OR (C AND (A XOR D))D NAND (B IMP A)A NOR (B AND D)B OR (A XNOR (C XOR D))C NAND (A OR (B NIMP D))B AND (A IMP (C OR D))(A IMP B) AND (C XOR D)C IMP (B XOR (A OR D))C OR (B NIMP D)C NOR (A NOR (B NIMP D))(A AND C) OR (B AND D)B NOR (C XOR D)C OR (B XNOR (D IMP A))A NIMP (C AND D)A XNOR (B IMP (C OR D))D XNOR (A IMP (B IMP C))A AND (B OR D)(A IMP B) XNOR (C OR D)B NIMP (D XOR (C IMP A))D OR (C NIMP (A XOR B))B AND (C OR D)D NOR (C AND (A OR B))(A OR D) XOR (B IMP C)D NAND (A OR (B NIMP C))B NAND (A OR (C NAND D))C NIMP (A XOR B)B XOR (A AND (C OR D))D OR (B NOR C)D NOR (A NIMP (B AND C))A IMP (B XOR (C OR D))D NAND (A OR (B XNOR C))C NAND (D OR (A AND B))B NIMP (A XOR C)A NOR (B XOR C)
XC XNOR (D IMP (A AND B))D NIMP (C XOR (A IMP B))(A AND B) NOR (C NIMP D)C XNOR (A OR (B NOR D))(A AND C) OR (B NIMP D)(A OR C) XOR (B XOR D)D NOR (B XNOR (C IMP A))A OR (B NIMP (C XOR D))(A XOR C) AND (B OR D)A XNOR (D OR (B NIMP C))B IMP (C AND D)(A IMP B) NIMP (C AND D)D NOR (B NOR (A XOR C))C AND (B OR (A NOR D))A NAND (C OR (B XNOR D))B OR (D XNOR (A IMP C))A XOR (B IMP (D IMP C))B XNOR (A OR (C OR D))D OR (B NOR (A XOR C))A NOR (B NIMP (D IMP C))D OR (A NIMP (B XOR C))D NOR (C AND (A IMP B))A IMP (D XOR (B OR C))B NIMP (C AND (A XOR D))C XNOR (A IMP (B XOR D))A XNOR (B OR (D NIMP C))A AND (B XOR (C OR D))B NOR (D AND (A OR C))B XOR (D OR (A AND C))A NAND (D OR (B XOR C))C NOR (A NIMP D)C XOR (A OR (B XOR D))B AND (D OR (C NIMP A))B OR (A NIMP D)A IMP (B XOR (D IMP C))D IMP (C XOR (A IMP B))
YB AND (C XOR D)D NOR (A NOR B)D OR (C AND (A IMP B))C NOR (D NOR (A NIMP B))B NOR (C AND (D IMP A))C IMP (D XOR (A AND B))B AND (D XOR (A OR C))(A AND C) NOR (B NIMP D)C XOR (D IMP B)B NIMP (A XOR D)A NOR (D NOR (C NIMP B))(A XOR D) XNOR (C IMP B)A XNOR (B OR (C XNOR D))(A IMP C) NIMP (B AND D)DB XNOR (A IMP (C XOR D))C NAND (B OR (A XOR D))(A XOR B) XNOR (C XOR D)D XNOR (B IMP A)A AND (C OR (B NIMP D))D NIMP (A XOR B)C IMP (A XOR (D IMP B))C NIMP (A XOR (B AND D))C OR (A XNOR (D IMP B))A NAND (C XOR (B OR D))B AND (A XOR (C XOR D))A NOR (D NIMP (B AND C))A XOR (C IMP (B XOR D))A OR (B NOR C)D NAND (A XOR (B XOR C))A IMP (B AND C)D OR (C AND (A XOR B))D IMP (C AND (A XOR B))C OR (D AND (B IMP A))C OR (D NIMP B)(B IMP A) NAND (C IMP D)
ZA OR (C XNOR (B IMP D))A XNOR (D AND (B XOR C))B OR (D AND (A IMP C))A OR (B XNOR C)C XOR (A AND (B OR D))A AND (B XOR (C XOR D))D OR (A NIMP C)D OR (C XNOR (A AND B))C NOR (A NOR (D IMP B))B NOR (A AND (C IMP D))B XOR (A IMP (C OR D))(A IMP B) XOR (C XOR D)D AND (C OR (A XOR B))D NIMP (A XOR (B XOR C))A IMP (B XOR C)(B OR D) XNOR (C IMP A)C AND (B OR (A NIMP D))(A XOR C) OR (B AND D)C OR (B NIMP (A AND D))C NAND (A IMP D)(A IMP D) AND (B XOR C)A OR DD NOR (A XNOR (B IMP C))(A XOR C) AND (B IMP D)C NOR (B NOR D)C NOR (A AND (B AND D))D NAND (A OR (B XOR C))(A IMP C) NAND (B XOR D)D NIMP (C AND (A XOR B))A AND (B IMP (C OR D))D NAND (C IMP (A AND B))D AND (A XOR (C IMP B))A XOR (C AND (D IMP B))C AND (B OR (A XNOR D))B NOR (D XOR (A AND C))C AND (A IMP B)