sprawdz czy tautologia
matjas: Sprawdzić, czy wyrażenie (p ⇒ q) ⇔ [(s⇒ q) /\ (p ⇔ q)] jest tautologią.
mi wyszlo ze nie jest. sprawdzi to ktos ?
30 sty 19:20
wmboczek: dla q=0 i s=1 nie jest tak na szybko
30 sty 19:26
Bożena: (p→q)→(q→p)
6 lut 20:34
Bożena:
6 lut 20:35