Logika: Sprawdzanie tautologii KRZ metodą skróconą

Sprawdzanie tautologii KRZ metodą skróconą - rozważamy przypadki