Logic proof list

hmmmmm A ~ A   FALSE

Три закона роботехники (Айзек Азимов)   FALSE

Disjunction A ∨ B  

testtesttes   TRUE

Simple - B ∨ (A ∧ B)  

Автоматизация в налоговой службе под соусом "Теперь можно удобно делать налоговый вычет"   TRUE

Парадокс: тем больше ты в соцсети, тем менее ты социальный   FALSE

Implication   TRUE

A ↓ B = ~ (A ∨ B)   TRUE

Если у вас паранойя - это не значит, что за вами не следят   FALSE

Если у вас паранойя - это не значит, что за вами не следят   FALSE

Если у вас паранойя - это не значит, что за вами не следят   TRUE

don't worked '@' (A → @133)  

Забавно :) Если ты был бы умным, то был бы богат   FALSE

Парадокс лжеца: я лжец и я лгу   FALSE

A ↓ C   FALSE

A → B; C → D ∴ (A ∧ C) → (B ∧ D)   TRUE

Ooo   TRUE

Если ты был бы умным, то был бы богат   TRUE

Error: simple A ∧ B ∧ C