logika luki: Prosze o pomoc Sprawdź czy podane formuły są tautologiami: 1. ¬[¬(p→¬r)↔q]↔¬[¬(p i r)→¬q] 2.¬[¬(p→q) albo ¬(p i ¬q)]→(¬s i r) 3. (¬s i p)↔¬[(p→¬s)lub(s i q)] 4.[¬(s i q) i ¬(¬p i ¬ q)]→¬[¬(¬p→¬q) lub ¬(s→¬q)] 5.¬[¬(p i r)→¬q]↔¬[¬(p→¬r)↔q] Z góry dziękuje za pomoc

Charles: LOL, masz w książce są oznaczenia co poszczególny znak oznacza. Czasochłonne, ale wykonalne. Wątpię, iż ktoś podejmie się tego "tłumaczenia". Pozdr~

luki: a wiem o tym charles, ale niewiem od czego zacząć, proszę przynajmniej o naprowadzenie mnie