Anonymní profil peter – Programujte.com

K tem prevodum, jeste...

A and B = not not (A and B) = not ((not A) or (not B))
A and B and C = not ((not A) or (not B) or (not B))
A or B and C - ted si nejsem zrovna jisty, jak tam patri zavorky
(A or B) and C = not( not(A or B) or not(C) )
A or (B and C) = not( not(A) and not(A and B) ) - tady, kdyz bys pouzil not not, tak z toho dostanes and, takze to musis rozepsat ze zkracene formy tak, abys to mel spojene jen andy
A or (B and C) = (A or B) and (A or C)
A or (B and C) = not( not(A or B) or not(A or C) )

Nechce se mi googlovat, co ty dve slova znamenaji. Nicmene to napadne pripomina boolovskou algebru, binarni podminky.
f = (c OR d) AND (a OR not d) AND (b OR not d)
S tim pak muzes delat operace typu zjednoduseni a nebo prevod na AND nebo OR (ty se delaji proto, abys z toho dostal stejne operace, vyrobit na kremiku pole se vsemi stejnymi OR je jednodussi nez to stridat). Pro zjednoduseni se obvykle pouzivaji K. mapy nebo se to proste podle vzorecku...
Kdyz delas ty prevody, tak se to dvakrat neguje, not not f. Pak se vnitrni negace rozpada na jednotlive cleny, ktere mas oddelene druhou funkci (v mem pripade AND). not not f je stale f, ze jo? :)
not not f
= not not ( (c OR d) AND (a OR not d) AND (b OR not d) )
= not ( not(c OR d) OR not(a OR not d) OR not(b OR not d)
= f
Podobne to dopadne pro AND.