http://www.fpz.unizg.hr/hgold/ES/DE/K.%20tablice.htm
a za raditi sklop skines program logisim i on ti ima funkciju da automatski napravi sklop po zadanoj formuli, minimizira je, napravi tablicu istinitosti i gore navedenu k-tablicu, s time da negirane literale pises A' ili ~A (doduse, za ovaj drugi nisam 100% siguran)
a sad, da ti rjesava neko, nema sanse...pa nije to problem rjesiti
evo da ti i jos olaksam, u logisimu odes na "Window - Combinational Analysis" i tamo upisujes formulu
i da, probaj prvo rjesiti rucno, ako nejde, pomogni si s logisimom
