ò-òœò?ò?ò?ó' ò'ò?ò?ò£ò?ò£
ò?ó'ó?ò?òœòžó'ò?òœò?ò£ò?
ò-òœò?ò£ó?ò£ó'òÞ ò? ó'òÞó'ó?òœò?ó? ó?ò'òÞò?ó?ó?ó%ò£òÞ òžòœò?ò?ò?ó':
- ó%ó%ò? <=> 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
