tautologie zdań
onka: Sprawdż czy są tautologiami zdań
a) [p∩(q∪r)]⇔[(p∩q)∪(p∩r)]
b)[(p⇒q)∩(q⇒r)]⇒(p⇒r)
1 gru 12:04
Bogdan:
a) Takie zadania łatwo rozwiązuje się metodą zero−jedynkową, 0 − fałsz, 1 − prawda.
W ostatniej kolumnie są jedynki na wszystkich miejscach, więc zdanie jest tautologią.
q⋁r = a
p⋀q = b
p⋀r = c
p⋀a = d
b⋁c = e
b) podobnie jak a.
a) Takie zadania łatwo rozwiązuje się metodą zero−jedynkową, 0 − fałsz, 1 − prawda.
W ostatniej kolumnie są jedynki na wszystkich miejscach, więc zdanie jest tautologią.
q⋁r = a
p⋀q = b
p⋀r = c
p⋀a = d
b⋁c = e
b) podobnie jak a.