1) (TvF)->(T<->F) a) T b) F 2) (T->F)vF a) F b) T 3) [(TvT)<->(F->T)] a) F b) T

Výsledková tabule/Žebříček

Vizuální styl

Možnosti

Přepnout šablonu

Obnovit automatické uložení: ?