foo TRUE

D
inference logic((AB)C)D
0

Truth check table

CaseDABC((AB)C)D
1TTTTT
2TTTFT
3TTFTT
4TTFFT
5TFTTT
6TFTFT
7TFFTT
8TFFFT
9FTTTF
10FTTFT
11FTFTF
12FTFFF
13FFTTF
14FFTFT
15FFFTF
16FFFFT
Public: Yes; Show truth table: Yes;