Sprawdzanie tautologiczności prostych formuł KRZ

Filmik powstały na potrzeby zajęć z logiki TBSP UJ w roku akademickim 2020/2021. Wykorzystane przykłady pochodzą ze zbioru dostępnego pod adresem: http://www.karolsuchon.pl/data/files/...