AYT mantık konu anlatımı Test 1

Aşağıdaki sembolik mantık ifadelerinden hangisi totolojidir?

A) \( p \land \lnot p \)
B) \( (p \rightarrow q) \leftrightarrow (\lnot q \rightarrow \lnot p) \)
C) \( p \rightarrow (q \land \lnot q) \)
D) \( (p \lor q) \land \lnot p \)