Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 25. 05. 2019 11:53 — Editoval veadet (25. 05. 2019 11:53)
logika tabulka
Ahojte pomoze mi niekto? skusam v zosite uz 20 minut ale nevychadza mi tato uloha, mam vytvorit z p,q,r formulu A
p q r A
1 1 1 0
1 1 0 1
1 0 1 0
0 1 1 1
1 0 0 0
0 1 0 1
0 0 1 1
0 0 0 0
pomoze mi niekto?
Offline
- (téma jako vyřešené označil(a) veadet)
#2 25. 05. 2019 13:46
Re: logika tabulka
Znáš konjunktivní / disjunktivní normální formy? To se dá totiž využít.
Řekněme, že chceme najít formuli B splňující
p q | B
1 1 | 0
1 0 | 1
0 1 | 0
0 0 | 1
Podívejme se na řádky, kde B nabývá pravdy. Jak "nejlíp" zajistíme pravdivost? třeba pomocí disjunkce. Kdy je disjunkce pravdivá? když alespoň jeden ze vstupů je pravdivý.
Formule 
vyhoví zadání.
Podobně bychom se mohli dívat na nepravdivé řádky a obdobně bychom dostali 
.
Zkus to aplikovat na svůj příklad.
Příspěvky psané červenou barvou jsou moderátorské, šedá je offtopic.
Offline