I reorganized the PLA truth tables and constructed logical formulas
for all signals except the CASRAM.  Thanks to Andreas Boose for
simplifying my CASRAM equations.


The order of the terms is as follows:

-GAME  -EXROM  -CAS   -CHAREN
-HIRAM -LORAM  -VA14  VA13
VA12   BA      -AEC   R/-W
A15    A14     A13    A12

Truth tables (any rule true => signal = 0)

ROML:               explanation:

x0xx 11xx xx01 100x (!-EXROM & -HIRAM & -LORAM & !-AEC & R/-W & A=$8000-$9FFF) |
01xx xxxx xx0x 100x (!-GAME & -EXROM & -AEC & A=$8000-$9FFF)


ROMH:

00xx 1xxx xx01 101x (!-GAME & -EXROM & -HIRAM & !-AEC & R/-W & A=$A000-$BFFF) |
01xx xxxx xx0x 111x (!-GAME & -EXROM & !-AEC & A=$E000-$FFFF) |
01xx xxx1 1x1x xxxx (!-GAME & -EXROM & VA=$3000-$3FFF,$7000-$7FFF,$B000-$BFFF,$F000-$FFFF & -AEC)


I/O:

01xx xxxx xx00 1101 (!-GAME & -EXROM & !-AEC & !R/-W & A=$D000-$DFFF) |
01xx xxxx x10x 1101 (!-GAME & -EXROM & BA & !-AEC & A=$D000-$DFFF)
xxx1 01xx xx00 1101 (-CHAREN & !-HIRAM & -LORAM & !-AEC & !R/-W & A=$D000-$DFFF) |
xxx1 01xx x10x 1101 (-CHAREN & !-HIRAM & -LORAM & BA & !-AEC & A=$D000-$DFFF) |
xxx1 1xxx xx00 1101 (-CHAREN & -HIRAM & !-AEC & !R/-W & A=$D000-$DFFF) |
xxx1 1xxx x10x 1101 (-CHAREN & -HIRAM & BA & !-AEC & A=$D000-$DFFF)


GR/W:

xx0x xxxx xx00 1101 (!-CAS & !-AEC & !R/-W & A=$D000-$DFFF)


CHAROM:

x0x0 1xxx xx01 1101 (!-EXROM & -CHAREN & HIRAM & !-AEC & R/-W & A=$D000-$DFFF) |
1xx0 01xx xx01 1101 (-GAME & -CHAREN & !-HIRAM & LORAM & !-AEC & R/-W & A=$D000-$DFFF) |
1xx0 1xxx xx01 1101 (-GAME & -CHAREN & -HIRAM & !-AEC & R/-W & A=$D000-$DFFF) |
x0xx xx10 1x1x xxxx (!-EXROM & VA=$1000-$1FFF,$9000-$9FFF & -AEC) |
1xxx xx10 1x1x xxxx (-GAME & VA=$1000-$1FFF,$9000-$9FFF & -AEC)


KERNAL:

x0xx 1xxx xx01 111x (!-EXROM & -HIRAM & -AEC & R/-W & A=$E000-$FFFF) |
1xxx 1xxx xx01 111x (-GAME & -HIRAM & -AEC & R/-W & A=$E000-$FFFF)


BASIC:

1xxx 11xx xx01 101x (-GAME & -HIRAM & -LORAM & !-AEC & R/-W & A=$A000-$BFFF)


CASRAM (-AEC == 1 (videochip)):
010x xxx0 xx1x 111x
010x xxx0 xx1x 1x01
010x xxx0 xx1x x000
010x xxx1 0x1x 1x01
010x xxxx 0x1x 111x
010x xxxx 0x1x x000
110x xx0x xx1x xxxx
110x xxx0 0x1x xxxx
110x xxx1 xx1x xxxx
x00x xx0x xx1x xxxx
x00x xxx0 0x1x xxxx
x00x xx11 xx1x xxxx


CASRAM (-AEC == 0 (processor)):
0000 0xxx xx01 1101
000x 0xxx x001 x1x1
010x xxxx x001 1101
1100 xxxx xx00 xxx1
110x 00xx xx0x xxx1
110x 0xxx xx01 1x11
110x 0xxx xx01 xx10
110x xxxx xx00 xx1x
110x xxxx xx00 xxx0
110x xxxx xx01 0x10
110x xxxx xx0x 0xx1
110x xxxx xx0x x001
110x xxxx xx00 xx00
110x xxxx xx01 xx00
1x0x 10xx xx01 101x
x000 xxxx xx00 1101
x001 00xx x101 11x1
x001 00xx xx00 1101
x00x 00xx xx01 1101
x00x 0xxx xx01 10xx
x00x 0xxx xx01 x111
x00x 0xxx xx01 x1x0
x00x 10xx xx01 100x
x00x xxxx xx00 0x01
x00x xxxx xx00 x001
x00x xxxx xx00 xx11
x00x xxxx xx00 xxx0
x00x xxxx xx01 0xxx
x00x xxxx xx01 x100
xx01 xxxx x001 1101
xx0x xxxx xx0x 0000
