ò-òœò?ò?ò?ó' ò'ò?ò?ò£ò?ò£ ò?ó'ó?ò?òœòžó'ò?òœò?ò£ò?

ò-òœò?ò£ó?ò£ó'òÞ ò? ó'òÞó'ó?òœò?ó? ó?ò'òÞò?ó?ó?ó%ò£òÞ òžòœò?ò?ò?ó':

  1. ó%ó%ò? <=> A òžòœò?ò?ò? ò?ò?ò?ò?ò?ò?ò?ò? ò?ó'ó?ò£óŠòœò?ò£ó?
  2. (A & B) <=> (B & A) ò?ò?ò?ò?ó?ó'òœó'ò£ò?ò?ò?ó?ó'ó? ò?ò?ò?ó?ó?ò?ò?óŠò£ò£ (ò?òÞó?òÞò?òÞó?ó'ò£ó'òÞò'ó?ò?ó'ò?)
  3. (A V B) <=> (B V A) ò?ò?ò?ò?ó?ó'òœó'ò£ò?ò?ò?ó?ó'ó? ò?ò£òžó?ó?ò?ò?óŠò£ò£ (ò?òÞó?òÞò?òÞó?ó'ò£ó'òÞò'ó?ò?ó'ò?)
  4. (A & (B & C)) <=> ((A & B) & C) òœó?ó?ò?óŠò£òœó'ò£ò?ò?ò?ó?ó'ó? ò?ò?ò?ó?ó?ò?ò?óŠò£ò£ (ó?ò?ó¼òÞó'òœó'òÞò'ó?ò?ó'ò?)
  5. (A V (B V C)) <=> ((A V B) V C) òœó?ó?ò?óŠò£òœó'ò£ò?ò?ò?ó?ó'ó? ò?ò£òžó?ó?ò?ò?óŠò£ò£ (ó?ò?ó¼òÞó'òœó'òÞò'ó?ò?ó'ò?)
  6. (A & (B V C)) <=> ((A & B) V (A & C)) ò?ò£ó?ó'ó?ò£ò+ó?ó'ò£ò?ò?ò?ó?ó'ó? ò?ò?ò?ó?ó?ò?ò?óŠò£ò£ ò?ó'ò?ò?ó?ò£ó'òÞò'ó?ò?ò? ò?ò£òžó?ó?ò?ò?óŠò£ò£ (ó?òœó?ò?ó?òÞò?òÞò'ò£ó'òÞò'ó?ò?ó'ò?)
  7. (A V (B & C)) <=> ((A V B) & (A V C)) ò?ò£ó?ó'ó?ò£ò+ó?ó'ò£ò?ò?ò?ó?ó'ó? ò?ò£òžó?ó?ò?ò?óŠò£ò£ ò?ó'ò?ò?ó?ò£ó'òÞò'ó?ò?ò? ò?ò?ò?ó?ó?ò?ò?óŠò£ò£ (ó?òœó?ò?ó?òÞò?òÞò'ò£ó'òÞò'ó?ò?ó'ò?)
  8. (A & A) <=> A òžòœò?ò?ò?ó' ò£ò?òÞò?ò?ò?ó'òÞò?óŠò£ò£
  9. (A V A) <=> A
  10. (A V ó%A) <=> ò? òžòœò?ò?ò? ò£ó?ò?ò'ó?ó¼òÞò?ò?ò?ò?ò? ó'ó?òÞó'ó?òÞò?ò?
  11. (A & ó%A) <=> ò' òžòœò?ò?ò? ò?òÞò?ó?ò?ó'ò£ò?ò?ó?òÞó¼ò£ó?
  12. (A & ò?) <=> A ò?ò?òÞó?òœóŠò£ò£ ó? ò?ò?ò?ó?ó'òœò?ó'òœò?ò£
  13. (A V ò?) <=> ò?
  14. (A & ò') <=> ò'
  15. (A V ò') <=> A
  16. ó%(A & B) <=> (ó%A V ó%B)  òžòœò?ò?ò?ó' ò?òÞ ò?ò?ó?ò?òœò?òœ
  17. ó%(A V B) <=> (ó%A & ó%B)
  18. (A => B) <=> (ó%A V B) òžòœò?òÞò?òœ ò£ò?ò?ò'ò£ò?òœóŠò£ò£
  19. A & (ò? V ò') <=> A òžòœò?ò?ò?ó' ò?ò?ò?ò'ò?ó%òÞò?ò£ó?
  20. (A V ò? & ò') <=> A
ò-ò?ò'ò?ò?ò?ò:

ò?ó?ò?ò?òÞó?ó?ó'òÞ ó? ò?ò?ò?ò?ó%ó?ó? ó'òœò+ò'ò£óŠ ò£ó?ó'ò£ò?ò?ò?ó?ó'ò£ òžòœò?ò?ò?ó' (4)-(7) ò£ (16)-(18) (òó?ò'ò£ òžòœò?ò?ò? ò?òÞó?òÞò?, ó'ò? ò? ò?ò?ó?ò'òÞò?ò?òÞò? ò?ò?ò'ò?ò?ò?òÞ ó'òœò+ò'ò£óŠó' ò£ó?ó'ò£ò?ò?ò?ó?ó'ò£ ò?ò? ò?ó?òÞó: ó?ó'ó?ò?ò?òœó: ò?ò?ò'òò?òœ ò+ó'ó'ó? ò?ó?ó'ò£ò?òœ)

ò?ò?ò'òœò?ò'òÞò?ò£òÞ ò'òœò'ó?ó?òÞ


ò?ó?ò£ ò£ó?ò?ò?ò'ó?òžò?ò?òœò?ò£ò£ ò?òœó'òÞó?ò£òœò'ò?ò? ó?òœò?ó'òœ ò?ó?ò?ó?ó?ò+òœ ó?ò?ò+ò'ó?ò?òœó'ó? ò?ó?ò£ò'ò£ó¼ò£ó?
÷¿ ò'ó'ò?ó?òœò?òÞò?ò?ò? ò?.ò?. ò£ ò?.ò'., 2009-2011

òšòÞò?ó'ò£ò?ò?@Mail.ru     

Hosted by uCoz