Shefferova alebo Pierceova algebra – Matematika – Fórum – Programujte.com

ahojte , vie mi niekto pomoct so Shefferovou alebo Pierceovou algebrou...potrebujem len 2 jednoduche prevody avsak sam na nich neviem nijak raz prist dajukem pekne za pomoc  :) 

Připojen obrázek.

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.

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) )

#3 peter

Připojen obrázek.

#4 Peter
takto by to mohlo byt ?