\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