Soit $P$ et $Q$ deux propositions.
Alors,  $\neg(P\wedge Q)\vee P=$

@$%s$
+ \top
- \neg P\wedge \neg Q\wedge P
- (\neg P \wedge P)\vee (\neg Q \wedge P)
- \bot
- P\vee Q
- \neg P\vee Q
- P\wedge Q
- \neg P\wedge Q
- P\vee \neg Q
- \neg P\vee \neg Q
- P\wedge \neg Q
- \neg P\wedge \neg Q



OR



Soit $P$ et $Q$ deux propositions.
Alors,  $\neg(P\wedge Q)\wedge P=$

@$%s$
- \top
- \neg P\wedge \neg Q\wedge P
- (\neg P \wedge P)\vee (\neg Q \vee P) 
- \bot
- P\vee Q
- \neg P\vee Q
- P\wedge Q
- \neg P\wedge Q
- P\vee \neg Q
- \neg P\vee \neg Q
+ P\wedge \neg Q
- \neg P\wedge \neg Q
