т?т?у?у'у?т?тЮт?тЈтЮ у'тњт+т'тЈуЉ тЈу?у'тЈт?т?т?у?у'тЈ т?т'у? у?т'т?тт?у'у: т?у'у?т?тњтћу'т?тњт?тЈт?

т?т?у?у'у?т?тЮт?тЈтЮ у'тњт+т'тЈуЉ тЈу?у'тЈт?т?т?у?у'тЈ т?т'у? у?т'т?тт?у'у: т?у'у?т?тњтћу'т?тњт?тЈт?

т?у?у'тЈт?т?т?у?у'у? тЈт'тЈ т'т?тт?т?у?у'у? у?т'т?тт?у'у: у?у?тт?тЮт?тЈт? т?у?тЮт?у?у'тњт?т'у?тЮу' у?т?т+т?т? у'у?т?т?уЉтЈу? тЈу?у'тЈт?т?т?у?у'тЈ тЈт'тЈ т'т?тт?т?у?у'тЈ т?у?т?у?у'у'у:. т-у'у? у'у?т?т?уЉтЈу? т?тњтћу'т?тњу?у' т'т?т'тт'т?тT т?т?т?т?тЃт?ттT т?т?т-т'тт?т?тT (F(A,B)). тљтњу?у?т?т?у'у?тЈт? т?у?тЈт?тЮу?у' т?т?у?у'у?т?тЮт?тЈу? у'тњт+т'тЈуЉ тЈу?у'тЈт?т?т?у?у'тЈ т?т'у? у?т'т?тт?у'у: у?у?тт?тЮт?тЈт?.

1. у%у%т? <=> т? (тћтњт?т?т? "т?у'у?тЈуЉтњт?тЈу? т?у'у?тЈуЉтњт?тЈу?": т?у'у?тЈуЉтњт?тЈтЮ т?у'у?тЈуЉтњт?тЈу? у?у?тт?тЮт?тЈу? у'т?тт?тЮу?у'т?тЮт?т?т? у?тњт?т?т?у? у?у?тт?тЮт?тЈу?.)

т?	у%т?	у%у%т?	у%у%A<=>A
т?	т'	т?	т?
т'	т?	т'	т?

ту?т'тЈ тћт?тњујтЮт?тЈтЮ тЈу?у'тЈт?т?т?у?у'тЈ т+у?т'тЮт?т?т? у'у?т?т?уЉтЈтЈ т?у?тЮт?т?тњ тЈу?у'тЈт?тњ, у'т? у?у'тњ у'у?т?т?уЉтЈу? т?у'у?тњттњтЮу' т-т?т?т?т?.

2. ((т? => т') & у%т') => у%A (т?т?т?тњтћтњу'тЮт'у?у?у'т?т? "т?у' т?у?т?у'тЈт?т?т?т?т?": ту?т'тЈ т? т?т'тЮујтЮу' т', т?т? т' т?тЮ т?тЮу?т?т?, у'т? т?тЮ т?тЮу?т?т? тЈ т?.)

A=>B

у%B

(A=>B)&у%B

у%A

((A=>B)&у%B)=>у%A

т?

т'

т?

т'

т?

т'

т?

т'

т?

т'

т?

т'

т?

т'

т?

т'

т?

т?у?тЈ т?т?у?тЮт?тЮт'тЮт?тЈтЈ т?т?у?у?т?т?тњ т?тЮт?у?у'т?тЈт? (тЮу?т'тЈ т?т? т?тЮ тћтњт?тњт? у?т?т?т+т?тњт?тЈ)у?т'тЮт?у?тЮу' тћтњт?т?т?т?тЈу'у?, ују'т? у'у?т?т?уЉтЈтЈ т?у'у?тЈуЉтњт?тЈу? тЈ т?т?т?у?у?т?т?уЉтЈтЈ тЈт?тЮу?у' т?у?тЈт?у?тЈу'тЮу'.

т-т?т'т?т?т?т:

т?т?у?у'тњт?у?у'тЮ тЈ тћтњт?т?т'т?тЈу'тЮ у?т?т?т?т?у?у? у'тњт+т'тЈуЉу? тЈу?у'тЈт?т?т?у?у'тЈ т?т'у? т?у?тЮу: т'т?т?тЈујтЮу?т?тЈу: у'у?т?т?уЉтЈт? т? т?тЈт?тЮ:

A & B

A V B

A => B

A <=> B

т?

т'

т?

т'

т?

т'

т?т?у?у'тњт?у?у'тЮ у'тњт+т'тЈуЉу' тЈу?у'тЈт?т?т?у?у'тЈ т?т'у? у?т'тЮт?у?у?у%тЈу: у'у?т?т?уЉтЈт?:

Ā => т'
т' & (т? V т')
т' & (Ā V т')
(Ā => т') V (т? & т')

т?у?тЈ тЈу?т?т?т'у?тћт?т?тњт?тЈтЈ т?тњу'тЮу?тЈтњт'т?т? у?тњт?у'тњ т?у?т?у?у?т+тњ у?т?т+т'у?т?тњу'у? т?у?тЈт'тЈујтЈу?
чї т'у'т?у?тњт?тЮт?т?т? т?.т?. тЈ т?.т'., 2009-2011