Matematické Fórum

z tehle formule vidis presne, pro ktere kombinace ohodnoceni x,y,z je formule pravdiva; jsou to presne ty uvedene v jednotlivych zavorkach
tedy formule je pravdiva kdyz x=0,y=0,z=0 nebo kdyz x=0,y=0,z=1 atd.

negace formule a & b je (not a) OR (not b) a naopak, tedy si staci vytvorit formuli F opacnou k te zadane ve stejnem tvaru (takovou formuli, ze je pravda kdyz puvodni ne, udelas proste disjunkci takovych kombinaci x,y,z pro ktere je puvodni formule 0) a F znegovat

Jo aha uz asi tusim, kdyz mam to x,y,z 0,0,0, tak mi vyjde 1 v ty prvni zavorce, protoze to jsou konjunkce a ty jsou dve jednicky rovny 1 a jelikoz to jsou negace, tak to je 1,1,1, v ty zavorce a tak dal, ale dal uz nejak nechapu co s tim, kdyz sem si zjistil, jaky ohodnoceni potrebuju aby byly pravdivy

Tak ze uz sem to asi pochopil a vyslo mi tohle


A jeste bych se rad zeptal, kdyz to delam obracene z KNF do DNF, tak beru ty ohodnoceni, kde je to pravdivy a ty pak zneguju?

prave sem to zkusil a funguje to, zase sem to znegoval zpatky, udelal si pravdivostni tabulku, vybral ty ohodnoceni, kde to vyjde 0 a zapsal a vyslo to nazpatek, diky