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

AB
~ AB

Truth check table

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