GGGGGG8888888867647456745 FALSE

( ~ (AA))A
inference logicB

Truth check table

CaseAB( ~ (AA))A
1TTT
2TFT
3FTT
4FFT
Public: Yes; Show truth table: Yes;