Cerulean Maze

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 further 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.

	0	1	2	3	4	5	6	7	8	9	a	b	c	d	e	f
A	False	False	False	False	False	False	False	False	True	True	True	True	True	True	True	True
B	False	False	False	False	True	True	True	True	False	False	False	False	True	True	True	True
C	False	False	True	True	False	False	True	True	False	False	True	True	False	False	True	True
D	False	True	False	True	False	True	False	True	False	True	False	True	False	True	False	True

X	Y	X AND Y	X OR Y	X XOR Y	X IMP Y	X NAND Y	X NOR Y	X XNOR Y	X NIMP Y
False	False	False	False	False	True	True	True	True	False
False	True	False	True	True	True	True	False	False	False
True	False	False	True	True	False	True	False	False	True
True	True	True	True	False	True	False	False	True	False

`0`
`0`	`0`	1	2	3	4	5	6	7	8	9	A	B	C	D	E	F	G	H	I	J	K	L	M	N	O	P	Q	R	S	T	U	V	W	X	Y	Z
`0`	A XOR B	D 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))
2	D 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))
3	D 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 D	A 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 C	D 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)
4	B 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))
5	A 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)	C	B 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))
6	A 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)
7	A 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 D	D 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)
8	D 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 B	C NOR (A XNOR (B OR D))	B AND (C OR (A AND D))	A NIMP (B XOR (D IMP C))
A	C 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))
B	B 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)
C	D IMP B	B 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 D	A 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))
D	C 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)
E	B 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)
F	D 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))
G	B 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))
H	C 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)
I	A 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 B	A NAND D	C 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))
J	A 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 A	B 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 D	A 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)
L	D 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))
M	C 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))
N	D 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 C	B XNOR (C AND D)	(A AND B) NOR (C AND D)	(B IMP A) XOR (C IMP D)
O	B NAND (D OR (A XOR C))	(A OR D) XNOR (B OR C)	B IMP C	C 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 D	A 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 D	C 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))
P	C 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)
Q	C 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 B	B 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))
R	D 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))
S	B 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))
T	B 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)
U	C 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 C	B 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)
V	A 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)
W	D 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 D	B 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))
X	C 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))	A	D 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 A	D 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))
Y	A 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
Z	D 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
1	`0`	1	2	3	4	5	6	7	8	9	A	B	C	D	E	F	G	H	I	J	K	L	M	N	O	P	Q	R	S	T	U	V	W	X	Y	Z
`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 C	A 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)
2	D 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))
3	A NAND (C XOR (D IMP B))	D XOR (C OR (B NIMP A))	A XNOR (C IMP (B AND D))	C NIMP A	A 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))
4	A 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 A	B 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 C	A 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)
5	B 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 D	D 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)	B	A 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 D	A 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 C	C XNOR (A IMP (B IMP D))	C NAND (A XOR (D IMP B))
7	A 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))
8	C 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)
9	C 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)
A	D XNOR (A AND (C IMP B))	A NOR (C NOR D)	C AND D	B 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 D	A 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 D	D 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 D	A 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 C	A NOR (B NOR (C XOR D))
C	B 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 C	C 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 D	D 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)
F	D 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 C	D 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))
G	B 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 C	D 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)
H	C 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 A	A 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))
I	B 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 B	A AND (B OR (C XNOR D))
J	C 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 C	D 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 D	D XOR (A OR (B AND C))	A IMP (B XOR (C XOR D))	B AND (D IMP A)
L	A 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))
M	C 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 D	C 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))
N	C 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 C	B 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 D	D 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))
O	A 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))
P	D 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 B	B 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 C	D 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))
Q	D 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 C	B NAND D	B NOR C	D 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 C	A 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))
R	C 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 D	A 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))
S	C 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 B	B 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 A	A 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 B	B 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))
T	C 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 C	C 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))
U	A 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 D	B OR (C XOR (A IMP D))	B AND (A OR (C NIMP D))	C OR (A AND D)	B XOR C	D 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))
V	B 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)
W	C NAND (A OR B)	C IMP B	B 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)
X	C 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))
Y	B 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)	D	B 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)
Z	A 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 D	D 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)