Sprawdź bez użycia metody zero-jedynkowej czy podane schematy są tautologiami
dracul: Witam,potrzebuje pomocy przy tych przykładach,ponieważ mam je rozwiązać a nie potrafię zbytnio
korzystać
z dowodzenia tautologii bez tabelki.
Zad. 1. Sprawdź bez użycia metody zero−jedynkowej czy podane schematy są tautologiami:
a) ~((𝑝⇒𝑟)∨~𝑞)∨(𝑝⇒~(𝑞∧~𝑟))
b) (𝑝⇒𝑞)⇔((𝑝∧𝑞)⇔𝑝)
c) (𝑝∨(∼𝑟))⇒(𝑞⇒((∼𝑝∨𝑟)∧𝑞))
d) (𝑝∧(𝑝⇒𝑞))⇒𝑞
e) ((𝑝∨𝑞)⇒(𝑝∨𝑟))⇒(∼𝑝∨𝑞)
30 mar 13:40
dsa: ~((𝑝⇒𝑟)∨~𝑞)∨(𝑝⇒~(𝑞∧~𝑟))
5 kwi 18:04