SlideShare a Scribd company logo
1 of 1
Download to read offline
Which of the following CNF expressions are satisfiable? If the expression is satisfiable, then
give an assignment to the variables that causes the expression to evaluate to 1. If the expression
is not satisfiable, then give the input/output table showing that no assignment to the variables
satisfies the expression. (a) (x+z)(x+y)(y+z)
Solution
Satisfiable: the assignment x=1,y=z=0 is a satisfying assignment. The assignment x=0,y=z=1 is
also a satisfying assignment. (b) (x+z)(x+y)(y+z)(x+y+z)

More Related Content

More from ssuser8308881

Which of the following diseases is correctly matched with the way in .pdf
 Which of the following diseases is correctly matched with the way in .pdf Which of the following diseases is correctly matched with the way in .pdf
Which of the following diseases is correctly matched with the way in .pdf
ssuser8308881
 

More from ssuser8308881 (20)

Which of the following statements is not correct about the population.pdf
 Which of the following statements is not correct about the population.pdf Which of the following statements is not correct about the population.pdf
Which of the following statements is not correct about the population.pdf
 
Which of the following statements are true for the TCPIP context. a..pdf
 Which of the following statements are true for the TCPIP context. a..pdf Which of the following statements are true for the TCPIP context. a..pdf
Which of the following statements are true for the TCPIP context. a..pdf
 
Which of the following statements about merit goods is correct Emerg.pdf
 Which of the following statements about merit goods is correct Emerg.pdf Which of the following statements about merit goods is correct Emerg.pdf
Which of the following statements about merit goods is correct Emerg.pdf
 
Which of the following statement(s) isare NOT true regarding mon.pdf
 Which of the following statement(s) isare NOT true regarding mon.pdf Which of the following statement(s) isare NOT true regarding mon.pdf
Which of the following statement(s) isare NOT true regarding mon.pdf
 
Which of the following statements about arthropods is false Terrestr.pdf
 Which of the following statements about arthropods is false Terrestr.pdf Which of the following statements about arthropods is false Terrestr.pdf
Which of the following statements about arthropods is false Terrestr.pdf
 
Which of the following pieces of audit evidence would most likely be .pdf
 Which of the following pieces of audit evidence would most likely be .pdf Which of the following pieces of audit evidence would most likely be .pdf
Which of the following pieces of audit evidence would most likely be .pdf
 
Which of the following phrases does not describe a function of the pr.pdf
 Which of the following phrases does not describe a function of the pr.pdf Which of the following phrases does not describe a function of the pr.pdf
Which of the following phrases does not describe a function of the pr.pdf
 
Which of the following is true of the liability of a common carrier o.pdf
 Which of the following is true of the liability of a common carrier o.pdf Which of the following is true of the liability of a common carrier o.pdf
Which of the following is true of the liability of a common carrier o.pdf
 
Which of the following is true of FST, a measure of genetic distanc.pdf
 Which of the following is true of FST, a measure of genetic distanc.pdf Which of the following is true of FST, a measure of genetic distanc.pdf
Which of the following is true of FST, a measure of genetic distanc.pdf
 
Which of the following is TRUE about bank runs FDIC insurance makes .pdf
 Which of the following is TRUE about bank runs FDIC insurance makes .pdf Which of the following is TRUE about bank runs FDIC insurance makes .pdf
Which of the following is TRUE about bank runs FDIC insurance makes .pdf
 
Which of the following is the correct sequence in the development of .pdf
 Which of the following is the correct sequence in the development of .pdf Which of the following is the correct sequence in the development of .pdf
Which of the following is the correct sequence in the development of .pdf
 
Which of the following is the first valueadding step of information s.pdf
 Which of the following is the first valueadding step of information s.pdf Which of the following is the first valueadding step of information s.pdf
Which of the following is the first valueadding step of information s.pdf
 
Which of the following is not true about properly functioning onsite .pdf
 Which of the following is not true about properly functioning onsite .pdf Which of the following is not true about properly functioning onsite .pdf
Which of the following is not true about properly functioning onsite .pdf
 
Which of the following is not a way to encourage innovation Support .pdf
 Which of the following is not a way to encourage innovation Support .pdf Which of the following is not a way to encourage innovation Support .pdf
Which of the following is not a way to encourage innovation Support .pdf
 
Which of the following is not a cost of sexual reproduction a) O.pdf
 Which of the following is not a cost of sexual reproduction a) O.pdf Which of the following is not a cost of sexual reproduction a) O.pdf
Which of the following is not a cost of sexual reproduction a) O.pdf
 
Which of the following is most likely to happen when one party intent.pdf
 Which of the following is most likely to happen when one party intent.pdf Which of the following is most likely to happen when one party intent.pdf
Which of the following is most likely to happen when one party intent.pdf
 
Which of the following is correct Question 45 attachment Answers A -.pdf
 Which of the following is correct Question 45 attachment Answers A -.pdf Which of the following is correct Question 45 attachment Answers A -.pdf
Which of the following is correct Question 45 attachment Answers A -.pdf
 
Which of the following functions isare implemented in the Network .pdf
 Which of the following functions isare implemented in the Network .pdf Which of the following functions isare implemented in the Network .pdf
Which of the following functions isare implemented in the Network .pdf
 
Which of the following is anterior to the vocal folds A. arytenoid c.pdf
 Which of the following is anterior to the vocal folds A. arytenoid c.pdf Which of the following is anterior to the vocal folds A. arytenoid c.pdf
Which of the following is anterior to the vocal folds A. arytenoid c.pdf
 
Which of the following diseases is correctly matched with the way in .pdf
 Which of the following diseases is correctly matched with the way in .pdf Which of the following diseases is correctly matched with the way in .pdf
Which of the following diseases is correctly matched with the way in .pdf
 

Recently uploaded

Financial Accounting IFRS, 3rd Edition-dikompresi.pdf
Financial Accounting IFRS, 3rd Edition-dikompresi.pdfFinancial Accounting IFRS, 3rd Edition-dikompresi.pdf
Financial Accounting IFRS, 3rd Edition-dikompresi.pdf
MinawBelay
 

Recently uploaded (20)

HVAC System | Audit of HVAC System | Audit and regulatory Comploance.pptx
HVAC System | Audit of HVAC System | Audit and regulatory Comploance.pptxHVAC System | Audit of HVAC System | Audit and regulatory Comploance.pptx
HVAC System | Audit of HVAC System | Audit and regulatory Comploance.pptx
 
An Overview of the Odoo 17 Discuss App.pptx
An Overview of the Odoo 17 Discuss App.pptxAn Overview of the Odoo 17 Discuss App.pptx
An Overview of the Odoo 17 Discuss App.pptx
 
“O BEIJO” EM ARTE .
“O BEIJO” EM ARTE                       .“O BEIJO” EM ARTE                       .
“O BEIJO” EM ARTE .
 
MichaelStarkes_UncutGemsProjectSummary.pdf
MichaelStarkes_UncutGemsProjectSummary.pdfMichaelStarkes_UncutGemsProjectSummary.pdf
MichaelStarkes_UncutGemsProjectSummary.pdf
 
ANTI PARKISON DRUGS.pptx
ANTI         PARKISON          DRUGS.pptxANTI         PARKISON          DRUGS.pptx
ANTI PARKISON DRUGS.pptx
 
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT VẬT LÝ 2024 - TỪ CÁC TRƯỜNG, TRƯ...
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT VẬT LÝ 2024 - TỪ CÁC TRƯỜNG, TRƯ...TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT VẬT LÝ 2024 - TỪ CÁC TRƯỜNG, TRƯ...
TỔNG HỢP HƠN 100 ĐỀ THI THỬ TỐT NGHIỆP THPT VẬT LÝ 2024 - TỪ CÁC TRƯỜNG, TRƯ...
 
size separation d pharm 1st year pharmaceutics
size separation d pharm 1st year pharmaceuticssize separation d pharm 1st year pharmaceutics
size separation d pharm 1st year pharmaceutics
 
Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...
Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...
Basic Civil Engineering notes on Transportation Engineering, Modes of Transpo...
 
....................Muslim-Law notes.pdf
....................Muslim-Law notes.pdf....................Muslim-Law notes.pdf
....................Muslim-Law notes.pdf
 
An overview of the various scriptures in Hinduism
An overview of the various scriptures in HinduismAn overview of the various scriptures in Hinduism
An overview of the various scriptures in Hinduism
 
BỘ LUYỆN NGHE TIẾNG ANH 8 GLOBAL SUCCESS CẢ NĂM (GỒM 12 UNITS, MỖI UNIT GỒM 3...
BỘ LUYỆN NGHE TIẾNG ANH 8 GLOBAL SUCCESS CẢ NĂM (GỒM 12 UNITS, MỖI UNIT GỒM 3...BỘ LUYỆN NGHE TIẾNG ANH 8 GLOBAL SUCCESS CẢ NĂM (GỒM 12 UNITS, MỖI UNIT GỒM 3...
BỘ LUYỆN NGHE TIẾNG ANH 8 GLOBAL SUCCESS CẢ NĂM (GỒM 12 UNITS, MỖI UNIT GỒM 3...
 
An Overview of the Odoo 17 Knowledge App
An Overview of the Odoo 17 Knowledge AppAn Overview of the Odoo 17 Knowledge App
An Overview of the Odoo 17 Knowledge App
 
Incoming and Outgoing Shipments in 2 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 2 STEPS Using Odoo 17Incoming and Outgoing Shipments in 2 STEPS Using Odoo 17
Incoming and Outgoing Shipments in 2 STEPS Using Odoo 17
 
Features of Video Calls in the Discuss Module in Odoo 17
Features of Video Calls in the Discuss Module in Odoo 17Features of Video Calls in the Discuss Module in Odoo 17
Features of Video Calls in the Discuss Module in Odoo 17
 
UChicago CMSC 23320 - The Best Commit Messages of 2024
UChicago CMSC 23320 - The Best Commit Messages of 2024UChicago CMSC 23320 - The Best Commit Messages of 2024
UChicago CMSC 23320 - The Best Commit Messages of 2024
 
MOOD STABLIZERS DRUGS.pptx
MOOD     STABLIZERS           DRUGS.pptxMOOD     STABLIZERS           DRUGS.pptx
MOOD STABLIZERS DRUGS.pptx
 
Championnat de France de Tennis de table/
Championnat de France de Tennis de table/Championnat de France de Tennis de table/
Championnat de France de Tennis de table/
 
Financial Accounting IFRS, 3rd Edition-dikompresi.pdf
Financial Accounting IFRS, 3rd Edition-dikompresi.pdfFinancial Accounting IFRS, 3rd Edition-dikompresi.pdf
Financial Accounting IFRS, 3rd Edition-dikompresi.pdf
 
The Last Leaf, a short story by O. Henry
The Last Leaf, a short story by O. HenryThe Last Leaf, a short story by O. Henry
The Last Leaf, a short story by O. Henry
 
Mattingly "AI and Prompt Design: LLMs with Text Classification and Open Source"
Mattingly "AI and Prompt Design: LLMs with Text Classification and Open Source"Mattingly "AI and Prompt Design: LLMs with Text Classification and Open Source"
Mattingly "AI and Prompt Design: LLMs with Text Classification and Open Source"
 

Which of the following CNF expressions are satisfiable If the expres.pdf

  • 1. Which of the following CNF expressions are satisfiable? If the expression is satisfiable, then give an assignment to the variables that causes the expression to evaluate to 1. If the expression is not satisfiable, then give the input/output table showing that no assignment to the variables satisfies the expression. (a) (x+z)(x+y)(y+z) Solution Satisfiable: the assignment x=1,y=z=0 is a satisfying assignment. The assignment x=0,y=z=1 is also a satisfying assignment. (b) (x+z)(x+y)(y+z)(x+y+z)