‫ساختمان‬‫با‬ ‫گسسته‬
‫حل‬ ‫رویکرد‬‫مساله‬
faradars.org/fvsft101
‫مدرس‬:
‫بابایی‬ ‫منوچهر‬
‫کامپیوتر‬ ‫مهندسی‬ ‫ارشد‬ ‫کارشناس‬(‫افزار‬ ‫نرم‬)
‫کاشان‬ ‫سراسری‬ ‫دانشگاه‬
‫گسسته‬ ‫ساختمان‬
‫درس‬‫اول‬:‫منطق‬‫ها‬ ‫گزاره‬ ‫وجبر‬
1
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
2
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
‫اول‬ ‫ﻓﺼﻞ‬:‫ﻫﺎ‬ ‫ﺟﺒﺮﮔﺰاره‬ ‫و‬ ‫ﻣﻨﻄﻖ‬
3
‫ﻣﻨﻄﻖ‬:‫ﻣﺠﻤﻮﻋﻪ‬‫ﻫﺎ‬ ‫آن‬ ‫از‬ ‫اﺳﺘﻔﺎده‬ ‫ﺑﺎ‬ ‫ﻛﻪ‬ ‫ﻗﻮاﻋﺪ‬ ‫از‬ ‫اي‬‫اﻋﺘﺒﺎر‬‫ﻛﻨﻴﻢ‬ ‫ﻣﻲ‬ ‫ﻣﺸﺨﺺ‬ ‫را‬ ‫اﺳﺘﺪﻻل‬ ‫ﻳﻚ‬
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
‫ﮔﺰاره‬(Proposition):
4
‫واﺣﺪ‬‫اﺻﻠﻲ‬‫در‬‫ﻣﻨﻄﻖ‬
‫ﻳﻚ‬‫ﺟﻤﻠﻪ‬‫ﺧﺒﺮي‬‫ﻛﻪ‬‫داراي‬‫ارزش‬‫درﺳﺖ‬‫ﻳﺎ‬‫ﻧﺎدرﺳﺖ‬‫اﺳﺖ‬‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
5
‫ﮔﺰاره‬‫ﻧﻤﺎ‬(propositional variables):
‫ﮔﺰاره‬‫اي‬‫ﻛﻪ‬‫ارزش‬‫آن‬‫واﺑﺴﺘﻪ‬‫ﺑﻪ‬‫ﻣﻘﺎدﻳﺮ‬‫ﻣﺘﻐﻴﺮ‬‫ﺑﺎﺷ‬‫ﺪ‬.
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
‫اﻧﻮاع‬‫ﮔﺰاره‬:
‫ﮔﺰاره‬‫ﺳﺎده‬:‫اﺗﻤﻴﻚ‬-‫ﻏﻴﺮﻗﺎﺑﻞ‬‫ﺗﺠﺰﻳﻪ‬
‫ﮔﺰاره‬‫ﻣﺮﻛﺐ‬:‫ﻣﺘﺸﻜﻞ‬‫از‬‫ﭼﻨﺪﻳﻦ‬‫ﮔﺰاره‬‫ﺳﺎده‬.
6
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
7
‫ﻋﻤﻠﮕﺮﻫﺎ‬)‫ﭘﻴﻮﻧﺪ‬‫دﻫﻨﺪه‬‫ﻫﺎ‬(:
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
8
‫ﻋﻤﻠﮕﺮﻫﺎ‬)‫ﭘﻴﻮﻧﺪ‬‫دﻫﻨﺪه‬‫ﻫﺎ‬(….
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
9
‫ﻋﻤﻠﮕﺮﻫﺎ‬)‫ﭘﻴﻮﻧﺪ‬‫دﻫﻨﺪه‬‫ﻫﺎ‬(….
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
10
‫ﺟﺪول‬‫درﺳﺘﻲ‬:
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
11
‫ﻋﺒﺎرات‬‫ﻫﻢ‬‫ارز‬:
‫ﻋﺒﺎراﺗﻲ‬‫ﻛﻪ‬‫در‬‫ﻫﻤﻪ‬‫ﺣﺎﻟﺘﻬﺎ‬‫داراي‬‫ارزش‬‫ﻳﻜﺴﺎﻧﻲ‬‫ﺑﺎﺷﻨﺪ‬
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
12
‫ﻗﻮاﻧﻴﻦ‬‫ﻣﻨﻄﻖ‬:
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
13
‫ﻗﻮاﻧﻴﻦ‬‫ﻣﻨﻄﻖ‬...
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
14
‫ﻗﻮاﻧﻴﻦ‬‫ﻣﻨﻄﻖ‬...
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
15
‫ﮔﺰاره‬‫راﺳﺘﮕﻮ‬)‫ﺗﺎﺗﻮﻟﻮژي‬(:
‫ﮔﺰاره‬‫اي‬‫ﻛﻪ‬‫ﻫﻤﻴﺸﻪ‬‫ارزش‬‫درﺳﺖ‬‫داﺷﺘﻪ‬‫ﺑﺎﺷﺪ‬.‫ﺗﺎﺗﻮﻟﻮژي‬‫اﺳﺖ‬.
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
16
‫ﻣﺜﺎل‬)1:(‫ﺑﺮاي‬‫دارد؟‬ ‫ﭼﻨﺪﺳﻄﺮ‬ ‫درﺳﺘﻲ‬ ‫ﺟﺪول‬ ‫زﻳﺮ‬ ‫ﻋﺒﺎرات‬ ‫از‬ ‫ﻫﺮﻛﺪام‬
   
   
     
     
)
b)
c)
d)
a q p p q
p t p s
p r s t u v
p r s q t r t
     
    
       
      
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
17
‫ﻣﺜﺎل‬)2:(‫ﺑﺎ‬‫ﻛﻨﻴﺪ‬ ‫ﺗﺤﻘﻴﻖ‬ ‫را‬ ‫زﻳﺮ‬ ‫ﻋﺒﺎرات‬ ‫ارزي‬ ‫ﻫﻢ‬ ‫ﻣﻨﻄﻖ‬ ‫ﻗﻮاﻧﻴﻦ‬ ‫از‬ ‫اﺳﺘﻔﺎده‬.
  )
)
a p p q
b p q
   
  
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
18
‫ﻣﺜﺎل‬)3:(‫ﻛﻨﻴﺪ‬ ‫ﺗﺤﻘﻴﻖ‬ ‫را‬ ‫زﻳﺮ‬ ‫ﻋﺒﺎرات‬ ‫ارزي‬ ‫ﻫﻢ‬ ‫ﻣﻨﻄﻖ‬ ‫ﻗﻮاﻧﻴﻦ‬ ‫از‬ ‫اﺳﺘﻔﺎده‬ ‫ﺑﺎ‬.
 
 
)
)
a p q r
b q p r
  
 
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
19
‫ﻣﺜﺎل‬)4:(‫اﺳﺖ؟‬ ‫ﺗﺎﺗﻮﻟﻮژي‬ ‫زﻳﺮ‬ ‫ﮔﺰاره‬ ‫آﻳﺎ‬
  p p q q    
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
‫ﻣﺜﺎل‬)5:(‫ﻧﺸﺎن‬‫اﺳﺖ‬ ‫ﺗﺎﺗﻮﻟﻮژي‬ ‫زﻳﺮ‬ ‫ﮔﺰاره‬ ‫ﻛﻪ‬ ‫دﻫﻴﺪ‬.
     p q p r q r     
20
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
21
‫ﻣﺜﺎل‬)6:(‫ﻧﺸﺎن‬‫اﺳﺖ‬ ‫ﺗﺎﺗﻮﻟﻮژي‬ ‫زﻳﺮ‬ ‫ﮔﺰاره‬ ‫ﻛﻪ‬ ‫دﻫﻴﺪ‬) .‫ﻛﺎﻣﭙﻴﻮﺗﺮ‬ ‫ﻋﻠﻮم‬ ‫ارﺷﺪ‬ ‫ﻛﻨﻜﻮر‬-89(
     R P Q R P Q Q R       
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
22
‫ﻣﺜﺎل‬)7:(‫آﻳﺎ‬‫اﺳﺖ؟‬ ‫راﺳﺘﮕﻮ‬ ‫زﻳﺮ‬ ‫ﮔﺰاره‬)‫ﻛﺎﻣﭙﻴﻮﺗﺮ‬ ‫ﻋﻠﻮم‬ ‫ارﺷﺪ‬ ‫ﻛﻨﻜﻮر‬-84(
  A B A A  
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
23
‫اﺳﺘﻠﺰام‬‫ﻣﻨﻄﻘﻲ‬:
‫ﮔﺰاره‬A‫ﻣﺴﺘﻠﺰم‬‫ﮔﺰاره‬B‫اﺳﺖ‬‫واﻧﺮا‬‫ﺑﺼﻮرت‬‫ﻳﻚ‬‫ﺗﺮﻛﻴﺐ‬‫ﺷﺮﻃﻲ‬AB‫ﻧﺸﺎن‬‫ﻣﻲ‬‫دﻫﻴﻢ‬.‫ﻛﻪ‬‫ﺑﺎﻳﺪ‬‫اﻳﻦ‬
‫ﺗﺮﻛﻴﺐ‬‫ﺷﺮﻃﻲ‬‫ﻳﻚ‬‫ﺗﺎﺗﻮﻟﻮژي‬‫ﺑﺎﺷﺪ‬.
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
24
‫ﻣﺜﺎل‬)8:(‫اﺳﺖ؟‬ ‫ﻣﻨﻄﻘﻲ‬ ‫اﺳﺘﻠﺰام‬ ‫ﻳﻚ‬ ‫زﻳﺮ‬ ‫ﮔﺰاره‬ ‫آﻳﺎ‬
( ) q (p r)p q r     
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
25
‫ﻣﺜﺎل‬)9:(‫اﺳﺖ؟‬ ‫ﻣﻨﻄﻘﻲ‬ ‫اﺳﺘﻠﺰام‬ ‫ﻳﻚ‬ ‫زﻳﺮ‬ ‫ﮔﺰاره‬ ‫آﻳﺎ‬
 p q r p q r     
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
26
‫اﺳﺘﺪﻻل‬)‫اﺳﺘﻨﺘﺎج‬(:
‫اﺳﺘﺪﻻل‬‫ﻣﺠﻤﻮﻋﻪ‬‫اي‬‫از‬‫ﮔﺰاره‬‫ﻫﺎي‬‫ﺗﺤﺖ‬‫ﻋﻨﻮان‬‫ﻓﺮﺿﻴﻪ‬‫ﻫﺎﻫﺴﺘﻨﺪ‬‫ﻛﻪ‬
‫ﮔﺰاره‬‫دﻳﮕﺮي‬‫ﺑﻪ‬‫ﻧﺎم‬‫را‬‫ﻧﺘﻴﺠﻪ‬‫ﻣﻲ‬‫دﻫﻨﺪ‬.
1 2 3, , ,...., nP P P P
Q
1 2 3, , ,..., nP P P P Q
‫ﻗﻀﻴﻪ‬:‫اﺳﺘﺪﻻل‬‫درﺳﺖ‬‫اﺳﺖ‬‫اﮔﺮ‬‫و‬‫ﻓﻘﻂ‬‫اﮔﺮﮔﺰاره‬
‫ﺑﺎﺷﺪ‬ ‫ﺗﺎﺗﻮﻟﻮژي‬ ‫ﻳﻚ‬.
1 2 3, , ,..., nP P P P Q1 2 3 .... nP P P P Q    
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
27
‫ﻗﻮاﻧﻴﻦ‬‫اﺳﺘﻨﺘﺎج‬:
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
28
‫ﻗﻮاﻧﻴﻦ‬‫اﺳﺘﻨﺘﺎج‬…
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
29
‫ﻣﺜﺎل‬)10:(‫ﻛﺎﻣﭙﻴﻮﺗﺮ‬ ‫ﭘﻨﺞ‬A,B,C,D,E‫دارﻧﺪ‬ ‫ﻗﺮار‬ ‫ﺷﺒﻜﻪ‬ ‫ﻳﻚ‬ ‫در‬.‫در‬ ‫ﻛﺎﻣﭙﻴﻮﺗﺮﻫﺎ‬ ‫ﻛﺪام‬ ‫زﻳﺮ‬ ‫اﻃﻼﻋﺎت‬ ‫داﺷﺘﻦ‬ ‫ﺑﺎ‬
‫ﻫﺴﺘﻨﺪ؟‬ ‫ﺑﺴﺘﻪ‬ ‫ارﺳﺎل‬ ‫ﺣﺎل‬
A‫ﻳﺎ‬B‫ﻫﺴﺘﻨﺪ‬ ‫ﺑﺴﺘﻪ‬ ‫ارﺳﺎل‬ ‫ﺣﺎل‬ ‫در‬ ‫ﻫﺮدو‬ ‫ﻳﺎ‬.
C‫ﻳﺎ‬D،)‫ﻫﺮدوﺑﺎﻫﻢ‬ ‫ﻧﻪ‬(‫ﻫﺴﺘﻨﺪ‬ ‫ﺑﺴﺘﻪ‬ ‫ارﺳﺎل‬ ‫ﺣﺎل‬ ‫در‬
‫اﮔﺮ‬E‫ﺑﺎﺷﺪ‬ ‫ﺑﺴﺘﻪ‬ ‫ارﺳﺎل‬ ‫درﺣﺎل‬.‫آﻧﮕﺎه‬C‫اﺳﺖ‬ ‫ﺑﺴﺘﻪ‬ ‫ارﺳﺎل‬ ‫درﺣﺎل‬ ‫ﻫﻢ‬
A‫و‬D‫ﻛﻨﻨﺪ‬ ‫ﻧﻤﻲ‬ ‫ارﺳﺎل‬ ‫ﺑﺴﺘﻪ‬ ‫ﻫﻴﭽﻜﺪام‬ ‫ﻳﺎ‬ ‫و‬ ‫ﻫﺴﺘﻨﺪ‬ ‫ﺑﺴﺘﻪ‬ ‫ارﺳﺎل‬ ‫ﺣﺎل‬ ‫در‬ ‫ﻫﺮدو‬ ‫ﻳﺎ‬
‫اﮔﺮ‬B‫ﮔﺎه‬ ‫آن‬ ،‫ﺑﺎﺷﺪ‬ ‫ﺑﺴﺘﻪ‬ ‫ارﺳﺎل‬ ‫درﺣﺎل‬A‫و‬E‫ﻫﺴﺘﻨﺪ‬ ‫ﺑﺴﺘﻪ‬ ‫ارﺳﺎل‬ ‫ﺣﺎل‬ ‫در‬ ‫ﻧﻴﺰ‬.
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
30
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
31
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
32
‫ﻣﺜﺎل‬)11:(‫ﻛﻨﻴﺪ؟‬ ‫ﺑﺮرﺳﻲ‬ ‫را‬ ‫زﻳﺮ‬ ‫اﺳﺘﻨﺘﺎج‬ ‫اﻋﺘﺒﺎر‬
     , ,q r w q p p w r          
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
33
‫ﻣﺜﺎل‬)12:(‫ﻛﻨﻴﺪ؟‬ ‫ﺑﺮرﺳﻲ‬ ‫را‬ ‫زﻳﺮ‬ ‫اﺳﺘﻨﺘﺎج‬ ‫اﻋﺘﺒﺎر‬)‫ﻛﺎﻣﭙﻴﻮﺗﺮ‬ ‫ﻋﻠﻮم‬-88(
p q
p r q
r s t
s
t

 
 

    

‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
34
‫ﻣﺜﺎل‬)13:(‫ﻫﺎي‬ ‫ﮔﺰاره‬ ‫درﺳﺘﻲ‬ ‫ﻓﺮض‬ ‫ﺑﺎ‬‫ﻧﻤﻲ‬ ‫را‬ ‫ﮔﺰاره‬ ‫ﻛﺪام‬‫اﺳﺘﻨﺘﺎج‬ ‫ﺗﻮان‬
‫ﻛﺮد؟‬)‫ﻛﺎﻣﭙﻴﻮﺗﺮ‬ ‫ارﺷﺪﻣﻬﻨﺪﺳﻲ‬ ‫ﻛﻨﻜﻮر‬-94(
  ,p q r r s  
(p s a(q s b(p q c
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
35
‫ﻓﺮم‬‫ﻧﺮﻣﺎل‬DNF:
‫ﻧﺸﺎن‬‫دادن‬‫ﻳﻚ‬‫ﮔﺰاره‬‫ﺑﺼﻮرت‬‫ﺗﺮﻛﻴﺐ‬‫ﻓﺼﻠﻲ‬‫از‬‫ﺟﻤﻼت‬‫ﺗﺮﻛﻴﺐ‬‫ﻋﻄﻔﻲ‬‫ﻣﻲ‬‫ﺑﺎﺷﺪ‬.
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
36
‫ﻓﺮم‬‫ﻧﺮﻣﺎل‬CNF:
‫ﻧﺸﺎن‬‫دادن‬‫ﻳﻚ‬‫ﮔﺰاره‬‫ﺑﺼﻮرت‬‫ﺗﺮﻛﻴﺐ‬‫ﻋﻄﻔﻲ‬‫از‬‫ﺟﻤﻼت‬‫ﺗﺮﻛﻴﺐ‬‫ﻓﺼﻠﻲ‬‫ﻣﻲ‬‫ﺑﺎﺷﺪ‬.
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
37
‫ﻣﺜﺎل‬)14:(‫ﻧﺮﻣﺎل‬ ‫ﻓﺮم‬DNF‫ﺑﻨﻮﻳﺴﻴﺪ‬ ‫را‬ ‫زﻳﺮ‬ ‫ﮔﺰاره‬.
   (p q) (u t) ( p q) ( u t)          
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
38
‫ﻣﺜﺎل‬)15:(‫ﻧﺮﻣﺎل‬ ‫ﻓﺮم‬CNF‫ﺑﻨﻮﻳﺴﻴﺪ‬ ‫را‬ ‫زﻳﺮ‬ ‫ﮔﺰاره‬.
( ) ( )x y x z   
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
39
‫روﺷﻬﺎي‬‫اﺛﺒﺎت‬)‫روش‬‫ﻏﻴﺮﻣﺴﺘﻘﻴﻢ‬(:
‫ﺑﺎﺗﻮﺟﻪ‬‫ﺑﻪ‬‫اﻳﻨﻜﻪ‬‫ﻫﺮ‬‫ﮔﺰاره‬‫ﺷﺮﻃﻲ‬‫ﺑﺎ‬‫ﻋﻜﺲ‬‫ﻧﻘﻴﺾ‬‫ﺧﻮد‬‫ﻫﻢ‬‫ارز‬‫اﺳﺖ‬.‫ﻟﺬا‬‫در‬‫ﺑﻌﻀﻲ‬‫ﻣﺴﺎﻳﻞ‬‫اﺛﺒﺎت‬‫ﻋﻜﺲ‬‫ﻧﻘﻴﺾ‬
‫از‬‫ﻓﺮم‬‫اﺻﻠﻲ‬‫ﮔﺰاره‬‫راﺣﺖ‬‫ﺗﺮ‬‫اﺳﺖ‬.‫ﻟﺬا‬‫اﻳﻦ‬‫روش‬‫ﻣﻮﺳﻮم‬‫ﺑﻪ‬‫روش‬‫ﻏﻴﺮﻣﺴﺘﻘﻴﻢ‬‫اﺳﺘﻔﺎده‬‫ﻣﻲ‬‫ﺷﻮد‬.
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
40
‫ﻣﺜﺎل‬)16:(‫ﻓﺮض‬‫ﻛﻪ‬ ‫ﻛﻨﻴﺪ‬‫ﻳﻚ‬‫اﺳﺖ‬ ‫ﺻﺤﻴﺢ‬ ‫ﻋﺪد‬.‫دﻫﻴﺪ‬ ‫ﻧﺸﺎن‬‫اﮔﺮ‬ ‫ﻛﻪ‬‫ﻣﻀﺮب‬3‫آﻧﮕﺎه‬ ‫ﺑﺎﺷﺪ‬
‫ﻣﻀﺮب‬ ‫ﻧﻴﺰ‬3‫اﺳﺖ‬.
2
nn n
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
41
‫روﺷﻬﺎي‬‫اﺛﺒﺎت‬)‫ﺑﺮﻫﺎن‬‫ﺧﻠﻒ‬(:
‫در‬‫اﻳﻦ‬‫روش‬‫ﻓﺮض‬‫ﻣﻲ‬‫ﻛﻨﻴﻢ‬‫در‬‫ﻳﻚ‬‫ﮔﺰاره‬‫ﺷﺮﻃﻲ‬‫ﺗﺎﻟﻲ‬‫ﻧﺎدرﺳﺖ‬‫اﺳﺖ‬‫و‬‫اﻳﻦ‬‫ﻓﺮض‬‫را‬‫ﺑﻪ‬‫ﻓﺮض‬‫ﻫﺎي‬‫دﻳﮕﺮ‬‫ﻣﺴﺎﻟﻪ‬
‫اﺿﺎﻓﻪ‬‫ﻣﻲ‬‫ﻛﻨﻴﻢ‬.‫ﺣﺎل‬‫ﻛﺎﻓﻴﺴﺖ‬‫ﻛﻪ‬‫ﺑﺎ‬‫اﻳﻦ‬‫ﺷﺮاﻳﻂ‬‫ﻣﻘﺪم‬‫ﻫﻤﻮاره‬‫ﻧﺎدرﺳﺖ‬‫ﺑﺎﺷﺪ‬.‫آﻧﮕﺎه‬‫ﻓﺮض‬‫ﻧﺎدرﺳﺖ‬‫ﺑﻮدن‬‫ﺗﺎﻟﻲ‬‫ﺑﺎﻃﻞ‬‫ﺧﻮاﻫﺪ‬
‫ﺷﺪ‬.
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
42
‫ﻣﺜﺎل‬)17:(‫دﻫﻴﺪ‬ ‫ﻧﺸﺎن‬ ‫ﺧﻠﻒ‬ ‫ﺑﺮﻫﺎن‬ ‫از‬ ‫اﺳﺘﻔﺎده‬ ‫ﺑﺎ‬‫اﮔﺮ‬ ‫ﻛﻪ‬‫ﻧﻴﺰ‬ ‫آﻧﮕﺎه‬ ‫ﺑﺎﺷﺪ‬ ‫ﻓﺮد‬‫اﺳﺖ‬ ‫ﻓﺮد‬. 3 2n n
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
43
‫روﺷﻬﺎي‬‫اﺛﺒﺎت‬)‫اﺳﺘﻘﺮاي‬‫رﻳﺎﺿﻲ‬(:
‫اﮔﺮ‬S(n)‫ﻳﻚ‬‫ﮔﺰاره‬‫رﻳﺎﺿﻲ‬‫ﺑﺎﺷﺪ‬.‫ﻛﻪ‬‫در‬‫آن‬n‫ﻳﻚ‬‫ﻋﺪد‬‫ﺻﺤﻴﺢ‬‫ﻣﺜﺒﺖ‬‫اﺳﺖ‬.‫آﻧﮕﺎه‬‫ﻣﻲ‬‫ﺗﻮان‬‫ﮔﻔﺖ‬‫ﻛﻪ‬S(n)‫ﺑﺮاي‬‫ﻫﺮ‬
‫ﻋﺪد‬‫ﺻﺤﻴﺢ‬‫و‬‫ﻣﺜﺒﺖ‬n‫درﺻﻮرﺗﻲ‬‫درﺳﺖ‬‫اﺳﺖ‬‫ﻛﻪ‬:
1-S(1)‫درﺳﺖ‬‫ﺑﺎﺷﺪ‬.
2-‫اﮔﺮ‬‫ﻓﺮض‬‫ﻛﻨﻴﻢ‬‫ﻛﻪ‬S(k))K‫ﻳﻚ‬‫ﻋﺪد‬‫ﺻﺤﻴﺢ‬‫ﻣﺜﺒﺖ‬(‫درﺳﺖ‬‫ﺑﺎﺷﺪ‬‫آﻧﮕﺎه‬‫ﻧﺘﻴﺠﻪ‬‫ﺑﮕﻴﺮﻳﻢ‬
‫ﻛﻪ‬S(k+1)‫ﻧﻴﺰ‬‫درﺳﺖ‬‫اﺳﺖ‬.
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
44
‫ﻣﺜﺎل‬)18:(‫ﺛﺎﺑﺖ‬ ‫اﺳﺘﻘﺮا‬ ‫از‬ ‫اﺳﺘﻔﺎده‬ ‫ﺑﺎ‬‫ﻛﻨﻴﺪ‬: 1
1
2 3 3 1
n
i n
i


 
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
45
‫روﺷﻬﺎي‬‫اﺛﺒﺎت‬)‫اﺳﺘﻘﺮاي‬‫ﻗﻮي‬‫رﻳﺎﺿﻲ‬(:
‫اﮔﺮ‬S(n)‫ﻳﻚ‬‫ﮔﺰاره‬‫رﻳﺎﺿﻲ‬‫ﺑﺎﺷﺪ‬.‫ﻛﻪ‬‫در‬‫آن‬n‫ﻳﻚ‬‫ﻋﺪد‬‫ﺻﺤﻴﺢ‬‫ﻣﺜﺒﺖ‬‫اﺳﺖ‬.‫و‬
‫آﻧﮕﺎه‬‫ﻣﻲ‬‫ﺗﻮان‬‫ﮔﻔﺖ‬‫ﻛﻪ‬S(n)‫ﺑﺮاي‬‫ﻫﺮ‬‫ﻋﺪد‬‫ﺻﺤﻴﺢ‬‫و‬‫ﻣﺜﺒﺖ‬n‫درﺻﻮرﺗﻲ‬‫درﺳﺖ‬‫اﺳﺖ‬‫ﻛﻪ‬:
1-‫درﺳﺖ‬‫ﺑﺎﺷﻨﺪ‬.
2-‫اﮔﺮ‬‫ﺑﺮاي‬‫ﻫﺮ‬،‫درﺳﺖ‬،‫ﺑﺎﺷﺪ‬‫آن‬‫ﮔﺎه‬‫ﻧﻴﺰ‬‫درﺳﺖ‬‫ﺑﺎﺷﺪ‬
0 1 0 1, ,n n Z n n
 
0 0 0( ), ( 1),...., ( 2), ( 1), ( )i iS n S n S n S n S n  
ik n( )S k( 1)S k 
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
46
‫ﻣﺜﺎل‬)19:(‫ﻗ‬ ‫اﺳﺘﻘﺮاي‬ ‫از‬ ‫اﺳﺘﻔﺎده‬ ‫ﺑﺎ‬‫ﻮ‬‫ﺑﺎزﮔﺸﺘﻲ‬ ‫راﺑﻄﻪ‬ ‫ﻛﻨﻴﺪﻛﻪ‬ ‫ﺛﺎﺑﺖ‬ ‫رﻳﺎﺿﻲ‬ ‫ي‬
‫ﺑﺎ‬‫اﺳﺖ‬ ‫ﻣﻌﺎدل‬.
1 2
0
1
6 9
1
2
i i ip p p
p
p
  


  1
1 3
3
n
np n
 
  
 
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
47
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
48
‫ﺗﻌﺮﻳﻒ‬
‫ﺟﻬﺎن‬‫ﺳﺨﻦ‬:‫ﻣﻘﺎدﻳﺮ‬‫ﺷﻮد‬ ‫ﮔﺰاره‬ ‫ﺑﻪ‬ ‫ﺗﺒﺪﻳﻞ‬ ‫ﺗﺎ‬ ‫ﺑﮕﻴﺮد‬ ‫ﺗﻮاﻧﺪ‬ ‫ﻣﻲ‬ ‫ﮔﺰارﻧﻤﺎ‬ ‫ﻳﻚ‬ ‫ﻛﻪ‬ ‫ﻣﺠﺎزي‬
‫ﺟﻮاب‬ ‫ﻣﺠﻤﻮﻋﻪ‬:‫ﻛﻨﺪ‬ ‫ﻣﻲ‬ ‫درﺳﺖ‬ ‫ﮔﺰاره‬ ‫ﻳﻚ‬ ‫ﺑﻪ‬ ‫ﺗﺒﺪﻳﻞ‬ ‫را‬ ‫ﻧﻤﺎ‬ ‫ﮔﺰاره‬ ‫ﻛﻪ‬ ‫ﺳﺨﻦ‬ ‫ﺟﻬﺎن‬ ‫از‬ ‫اي‬ ‫زﻳﺮﻣﺠﻤﻮﻋﻪ‬
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
4949
‫ﺗﻌﺮﻳﻒ‬
‫ﺳﻮروﺟﻮدي‬:‫اﻳﻦ‬‫ﻧﻤﺎ‬ ‫ﮔﺰاره‬ ‫ﺑﺮﻗﺮاري‬ ‫دادن‬ ‫ﻧﺸﺎن‬ ‫ﺑﺮاي‬ ‫ﻧﻤﺎﻫﺎ‬ ‫ﮔﺰاره‬ ‫در‬ ‫ﺳﻮر‬‫ﺑﺮﺧﻲ‬ ‫ازاي‬ ‫ﺑﻪ‬‫از‬
‫و‬ ‫ﺷﻮد‬ ‫ﻣﻲ‬ ‫اﺳﺘﻔﺎده‬ ‫ﺳﺨﻦ‬ ‫ﻣﻘﺎدﻳﺮﺟﻬﺎن‬‫ﺑﺎ‬‫ﻧﺸﺎن‬ ‫ﻧﻤﺎد‬‫ﺷﻮد‬ ‫ﻣﻲ‬ ‫داده‬. 
‫ﺳﻮرﻋﻤﻮﻣﻲ‬:‫اﻳﻦ‬‫ﻧﻤﺎ‬ ‫ﮔﺰاره‬ ‫ﺑﺮﻗﺮاري‬ ‫دادن‬ ‫ﻧﺸﺎن‬ ‫ﺑﺮاي‬ ‫ﻧﻤﺎﻫﺎ‬ ‫ﮔﺰاره‬ ‫در‬ ‫ﺳﻮر‬‫ازاي‬ ‫ﺑﻪ‬‫ﺗﻤﺎﻣﻲ‬‫ﻣﻘﺎدﻳﺮﺟﻬﺎ‬‫ن‬
‫و‬ ‫ﺷﻮد‬ ‫ﻣﻲ‬ ‫اﺳﺘﻔﺎده‬ ‫ﺳﺨﻦ‬‫ﺑﺎ‬‫ﻧﺸﺎن‬ ‫ﻧﻤﺎد‬‫ﺷﻮد‬ ‫ﻣﻲ‬ ‫داده‬. 
‫ﺳﻮرﺻﻔﺮ‬:‫اﻳﻦ‬‫دادن‬ ‫ﻧﺸﺎن‬ ‫ﺑﺮاي‬ ‫ﻧﻤﺎﻫﺎ‬ ‫ﮔﺰاره‬ ‫در‬ ‫ﺳﻮر‬‫ﺑﺮﻗﺮارﻧﺒﻮدن‬‫ﻧﻤﺎ‬ ‫ﮔﺰاره‬‫ازاي‬ ‫ﺑﻪ‬‫ﻫﻴﭽﻴﻚ‬‫از‬‫ﻣﻘﺎدﻳﺮﺟ‬‫ﻬﺎن‬
‫ﺳﺨﻦ‬‫و‬ ‫ﺷﻮد‬ ‫ﻣﻲ‬ ‫اﺳﺘﻔﺎده‬‫ﺑﺎ‬‫ﻧﺸﺎن‬ ‫ﻧﻤﺎد‬‫ﺷﻮد‬ ‫ﻣﻲ‬ ‫داده‬. 
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
50
‫ﺗﺮﻛﻴﺐ‬‫ﺳﻮرﻫﺎ‬:
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
‫ﻧﻘﻴﺾ‬‫ﺳﻮرﻫﺎ‬:
51
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
‫ﻣﺜﺎل‬)20:(‫ﺑﻴﺎﺑﻴﺪ‬ ‫را‬ ‫زﻳﺮ‬ ‫ﮔﺰاره‬ ‫ﻧﻘﻴﺾ‬.
( 2 )x y x y x y     
52
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
53
‫ﻣﻄﺮح‬ ‫ﻧﻜﺎت‬ ‫ﻣﺒﻨﺎي‬ ‫ﺑﺮ‬ ‫ﻫﺎ‬ ‫اﺳﻼﻳﺪ‬ ‫اﻳﻦ‬‫ﻓﺮادرس‬ ‫در‬ ‫ﺷﺪه‬
»‫ﻣﺴﺎﻟﻪ‬ ‫ﺣﻞ‬ ‫روﻳﻜﺮد‬ ‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬ ‫ﺳﺎﺧﺘﻤﺎن‬ ‫آﻣﻮزش‬«
‫اﺳﺖ‬ ‫ﺷﺪه‬ ‫ﺗﻬﻴﻪ‬.
	
‫ﻧﻤﺎﻳﻴﺪ‬ ‫ﻣﺮاﺟﻌﻪ‬ ‫زﻳﺮ‬ ‫ﻟﻴﻨﻚ‬ ‫ﺑﻪ‬ ‫آﻣﻮزش‬ ‫اﻳﻦ‬ ‫ﻣﻮرد‬ ‫در‬ ‫ﺑﻴﺸﺘﺮ‬ ‫اﻃﻼﻋﺎت‬ ‫ﻛﺴﺐ‬ ‫ﺑﺮاي‬.
	
faradars.org/fvsft101
‫ﺳﺎﺧﺘﻤﺎن‬‫ﺑﺎ‬ ‫ﮔﺴﺴﺘﻪ‬
‫ﺣﻞ‬ ‫روﻳﻜﺮد‬‫ﻣﺴﺎﻟﻪ‬
faradars.org/fvsft101
‫س‬‫ر‬‫د‬‫ا‬‫ﺮ‬‫ﻓ‬
FaraDars.org

آموزش ساختمان گسسته با رویکرد حل مساله