NOT ( ~ A)

~ A

Truth check table

CaseA ~ A
1TF
2FT
Public: Yes; Show truth table: Yes;