====== Logika - Zadanie 59. ======

$\phi_1 = (p\wedge r) \vee (q\wedge r)$

$\phi_2 = (p\wedge \neg q) \vee (r\wedge \neg r)$

Pytanie od czytelnika :P:

nie może być po po prostu $\phi_2 = (p\wedge \neg q) $? dla $n=1$[definicja z whitebooka]? Wtedy nie ma r, a musi też być. xP


$\phi_3 = (p\wedge \neg q \wedge \neg r) \vee (\neg p\wedge q)\vee (\neg p \wedge r)$

Z wynikiem rozwiązania się oczywiście zgodzę, natomiast pytanie brzmi jak rozwiązywaliście to zadanie? Bo metoda prób i błędów nie będzie optymalna na 180sek. kartkówce ;p

Odp: Np. metodą siatek Karnaugh - http://osilek.mimuw.edu.pl/index.php?title=TC_Modu%C5%82_3

moje cztery grosze: kartkówka nie będzie z zadań, tylko z definicji, twierdzeń i faktów znajdujących się w "Whitebooku". Btw: poczytajcie rozdział A w "WB". Peter