P∨Q⇔Q∨P P∧Q⇔Q∧P

¬¬P⇔P ∨ ⇔ ∨ ∧ ⇔ ∧
¬¬ ⇔ .
P∨Q P∧Q
¬¬P P

P ¬¬P Q∨P Q∧P

P∨Q ∨R⇔P∨(Q∨R) P ∧Q ∧R ⇔ P ∧( Q ∧R )
∨ ∨ ⇔ ∨( ∨ ) ∧ ∧ ⇔ ∧( ∧ )
P∨Q ∨R P∨(Q∨R) P ∧Q ∧R P ∧( Q ∧R )
P∨(Q∨R) P∨Q ∨R P ∧( Q ∧R ) P ∧Q ∧R

P∨F⇔P P ∧V ⇔ P
∨F⇔ ∧V⇔
P P∨F P P∧V
P∨F P P∧V P

P ∨ P ⇔ P P ∧ P ⇔ P
∨ ⇔ ∧ ⇔
P P∨P P P∧P
P∨P P P∧P P
 P ∨ ¬P ⇔ V P ∧ ¬P ⇔ F
∨¬ ⇔ V ∧¬ ⇔F
V V F F
P ∨ ¬P P ∨ ¬P P∧ ¬P P∧ ¬P

P ∨ V⇔ V P ∧ F⇔ F
∨V⇔V ∧F⇔F
V V F F
P ∨ V P∨V P∧F P∧ F

P∨(Q∧R)⇔(P∨Q) ∧(P∨R) P∧(Q∨R)⇔(P∧Q)∨(P∧R)

∨( ∧ )⇔( ∨ ) ∧( ∨ ) ∧( ∨ )⇔ ∧ ∨ ∧
P∨(Q∧R) (P∨Q) ∧(P∨R) P∧(Q∨R) (P∧Q)∨(P∧R)

(P∨Q) ∧(P∨R) P∨(Q∧R) (P∧Q)∨(P∧R) P∧(Q∨R)

P ∨(P ∧Q) ⇔ P P ∧(P ∨Q) ⇔ P

∨( ∧ ) ⇔ ∧( ∨ ) ⇔
P P ∨(P ∧Q) P P ∧(P ∨Q)
P ∨(P ∧Q) P P ∧(P ∨Q) P