Implication A B

AB

Truth check table

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