اگر p گزارهای درست و q گزارهای نادرست و r گزارهای دلخواه باشد، مانند نمونه، ارزش هر یک از گزارههای مرکب زیر را در صورت امکان مشخص کنید :
1 \((p \Leftrightarrow q) \wedge r\)
2 \((\sim p \Leftrightarrow q) \vee r\) (چون \(\sim p \equiv q\) پس \((\sim p \Leftrightarrow q) \equiv \text{T}\) و لذا ترکیب فصلی یک گزارهٔ درست با هر گزارهای، دارای ارزش درست است.)
3 \((p \Leftrightarrow q) \Leftrightarrow (p \Rightarrow q)\)
4 \((\sim p \vee q) \Leftrightarrow (p \Rightarrow q)\)
5 \((\sim p \vee \sim q) \Leftrightarrow \sim (p \vee q)\)
6 \((r \Leftrightarrow p) \Rightarrow (p \wedge q)\)
7 \((p \wedge q) \Leftrightarrow (p \vee q)\)
