Logic proof list

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

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

Disjunction A ∨ B  

testtesttes   TRUE

Simple - B ∨ (A ∧ B)   TRUE

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

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

Implication   TRUE

A ↓ B = ~ (A ∨ B)   TRUE

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

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

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