Logic proof list

Equivalence A ↔ B  

test   FALSE

Rain and walkA  

Ttt   FALSE

Талибы(движение запрещено в России), окружили посольство чтобы внутрь не пробрались террористы :)   TRUE

Лавров и Лукашенко о признании Крыма   TRUE

A → [( (B ∧ C ) ∨ D) → A]   TRUE

A ∧ (B ∧ C ) ∴ (A ∧ B) ∧ C   TRUE

2Equivalence A ↔ B   TRUE

NOT AND (Sheffer stroke) A | B  

test5   FALSE

A ∧ (B ∨ C) ↔ (A ∧ B) ∨ (A ∧ C)   TRUE

Simple - B ∨ (A ∧ B)   FALSE

disjunctive syllogism   TRUE

"suppress" double negation steps   TRUE

I'm applying modus tollens   TRUE

Double Negation   TRUE

111   TRUE

test (P ∧ Q) → R   FALSE

A ↓ B = ~ (A ∨ B)   TRUE