ò-òœò¤ò?ò?ó' ò'ò?ò¦ò£ò¤ò£
ò¶ó'ó?ò¤òœòžó'ò¶òœò?ò£ò?
ò-òœò§ò£ó?ò£ó'òÞ ò¶ ó'òÞó'ó?òœòó? ó?ò'òÞòó?ó?ó%ò£òÞ òžòœò¤ò?ò?ó':
- ó%ó%ò? <=> A òžòœò¤ò?ò? òò¶ò?ò?ò?ò?ò¦ò? ò?ó'ó?ò£óŠòœò?ò£ó?
- (A & B) <=> (B & A) ò¤ò?ò?ò?ó?ó'òœó'ò£ò¶ò?ò?ó?ó'ó? ò¤ò?ò?ó?ó?ò?ò¤óŠò£ò£
(ò§òÞó?òÞò?òÞó?ó'ò£ó'òÞò'ó?ò?ó'ò?)
- (A V B) <=> (B V A) ò¤ò?ò?ò?ó?ó'òœó'ò£ò¶ò?ò?ó?ó'ó? òò£òžó?ó?ò?ò¤óŠò£ò£
(ò§òÞó?òÞò?òÞó?ó'ò£ó'òÞò'ó?ò?ó'ò?)
- (A & (B & C)) <=> ((A & B) & C) òœó?ó?ò?óŠò£òœó'ò£ò¶ò?ò?ó?ó'ó? ò¤ò?ò?ó?ó?ò?ò¤óŠò£ò£
(ó?ò?ó¼òÞó'òœó'òÞò'ó?ò?ó'ò?)
- (A V (B V C)) <=> ((A V B) V C) òœó?ó?ò?óŠò£òœó'ò£ò¶ò?ò?ó?ó'ó? òò£òžó?ó?ò?ò¤óŠò£ò£
(ó?ò?ó¼òÞó'òœó'òÞò'ó?ò?ó'ò?)
- (A & (B V C)) <=> ((A & B) V (A & C)) òò£ó?ó'ó?ò£ò+ó?ó'ò£ò¶ò?ò?ó?ó'ó? ò¤ò?ò?ó?ó?ò?ò¤óŠò£ò£
ò?ó'ò?ò?ó?ò£ó'òÞò'ó?ò?ò? òò£òžó?ó?ò?ò¤óŠò£ò£ (ó?òœó?ò§ó?òÞòòÞò'ò£ó'òÞò'ó?ò?ó'ò?)
- (A V (B & C)) <=> ((A V B) & (A V C)) òò£ó?ó'ó?ò£ò+ó?ó'ò£ò¶ò?ò?ó?ó'ó? òò£òžó?ó?ò?ò¤óŠò£ò£
ò?ó'ò?ò?ó?ò£ó'òÞò'ó?ò?ò? ò¤ò?ò?ó?ó?ò?ò¤óŠò£ò£ (ó?òœó?ò§ó?òÞòòÞò'ò£ó'òÞò'ó?ò?ó'ò?)
- (A & A) <=> A òžòœò¤ò?ò?ó' ò£òòÞò?ò§ò?ó'òÞò?óŠò£ò£
- (A V A) <=> A
- (A V ó%A) <=> ò? òžòœò¤ò?ò? ò£ó?ò¤ò'ó?ó¼òÞò?ò?ò?ò¦ò? ó'ó?òÞó'ó?òÞò¦ò?
- (A & ó%A) <=> ò' òžòœò¤ò?ò? ò?òÞò§ó?ò?ó'ò£ò¶ò?ó?òÞó¼ò£ó?
- (A & ò?) <=> A ò?ò§òÞó?òœóŠò£ò£ ó? ò¤ò?ò?ó?ó'òœò?ó'òœò?ò£
- (A V ò?) <=> ò?
- (A & ò') <=> ò'
- (A V ò') <=> A
- ó%(A & B) <=>
(ó%A
V ó%B) òžòœò¤ò?ò?ó' òòÞ ò?ò?ó?ò¦òœò?òœ
- ó%(A V B) <=>
(ó%A &
ó%B)
- (A => B) <=> (ó%A V B) òžòœò?òÞò?òœ
ò£ò?ò§ò'ò£ò¤òœóŠò£ò£
- A & (ò? V ò') <=> A òžòœò¤ò?ò?ó' ò§ò?ò¦ò'ò?ó%òÞò?ò£ó?
- (A V ò? & ò') <=> A
 |
ò-ò?ò'ò?ò?ò?ò:
ò?ó?ò?ò¶òÞó?ó?ó'òÞ ó? ò§ò?ò?ò?ó%ó?ó? ó'òœò+ò'ò£óŠ ò£ó?ó'ò£ò?ò?ò?ó?ó'ò£ òžòœò¤ò?ò?ó' (4)-(7) ò£ (16)-(18)
(òó?ò'ò£ òžòœò¤ò?ò? ò¶òÞó?òÞò?, ó'ò? ò¶ ò§ò?ó?ò'òÞòò?òÞò? ò¤ò?ò'ò?ò?ò¤òÞ ó'òœò+ò'ò£óŠó' ò£ó?ó'ò£ò?ò?ò?ó?ó'ò£ ò¶ò? ò¶ó?òÞó…
ó?ó'ó?ò?ò¤òœó… òò?ò'òò?òœ ò+ó'ó'ó? ò?ó?ó'ò£ò?òœ)
|
ò?ó?ò£ ò£ó?ò§ò?ò'ó?òžò?ò¶òœò?ò£ò£ ò?òœó'òÞó?ò£òœò'ò?ò¶ ó?òœò?ó'òœ ò§ó?ò?ó?ó?ò+òœ ó?ò?ò+ò'ó?òòœó'ó?
ò§ó?ò£ò'ò£ó¼ò£ó?
÷¿ ò'ó'ò¦ó?òœò?òÞò?ò¤ò? ò?.ò?. ò£ ò?.ò'., 2009-2011
