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 27. 08. 2016 08:51
- karkulka58
- Zelenáč
- Příspěvky: 12
- Škola: UJAK
- Pozice: studentka
- Reputace: 0
výroková formule
nevíte jak se to počítá?
[a
(bc)] <=> [(ab)c]
díky
Offline
#2 27. 08. 2016 11:55
Re: výroková formule
Nenazval by som to pocitanim, skor overenim tautologie. Malo (3) premennych, cize vsetkych moznych ohodnoteni je 2^3 a preto vypisat ich nie je problem:
A: 1 1 1 1 0 0 0 0
B: 1 1 0 0 1 1 0 0
C: 1 0 1 0 1 0 1 0
Vyhodnotis disjunkcie v zatvorkach, potom vysledok zatvorky so zvysnou atomickou formulou v hranatej zatvorke a nakoniec porovnas ekvivalenciu oboch hranatych zatvoriek a ked sa ti objavi 8x jednotka, tautologia je dokazana.
Offline
#3 27. 08. 2016 13:29
- karkulka58
- Zelenáč
- Příspěvky: 12
- Škola: UJAK
- Pozice: studentka
- Reputace: 0
Re: výroková formule
děkuju
Offline