Замена импликации на отрицание и дизъюнкцию TRUE

AB
inference logic ~ AB
0

Truth check table

CaseABAB ~ AB
1TTTT
2TFFF
3FTTT
4FFTT
Public: Yes; Show truth table: Yes; Tags: Math;