¬ [( p => q) v r] <=> s
Domyślam się, że chodzi o to by sprawdzić czy zdanie jest tautologią;) Odp w załączniku.
Jak widać nie jest to tautologia języka rachunku zdań. Gdyby tak było to ostatnia kolumna składała by się z samych jedynek.
" Life is not a problem to be solved but a reality to be experienced! "
© Copyright 2013 - 2024 KUDO.TIPS - All rights reserved.
Domyślam się, że chodzi o to by sprawdzić czy zdanie jest tautologią;) Odp w załączniku.
Jak widać nie jest to tautologia języka rachunku zdań. Gdyby tak było to ostatnia kolumna składała by się z samych jedynek.