Implication TRUE

AB
A
inference logicB
0

Truth check table

CaseABAB
1TTT
2TFF
3FTT
4FFT
Public: Yes; Show truth table: Yes;