Fast check proof ~ (AB) therefore AB TRUE

~ (AB)
inference logicAB
0

Truth check table

CaseAB ~ (AB)AB
1TTFT
2TFFF
3FTFF
4FFTT
Public: Yes; Show truth table: Yes;