For classical logic, it can be easily verified with a truth table.
Στην κλασική λογική μπορεί εύκολα να επαληθευτεί με έναν πίνακα αλήθειας.