Check prove (A B), (A C), (B D) therefore (C D) TRUE

AB
AC
BD
inference logicCD
0

Truth check table

CaseABCDABACBDCD
1TTTTTTTT
2TTTFTTFT
3TTFTTFTT
4TTFFTFFF
5TFTTTTTT
6TFTFTTTT
7TFFTTFTT
8TFFFTFTF
9FTTTTTTT
10FTTFTTFT
11FTFTTTTT
12FTFFTTFF
13FFTTFTTT
14FFTFFTTT
15FFFTFTTT
16FFFFFTTF
Public: Yes; Show truth table: Yes;