SlideShare a Scribd company logo
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 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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
ssuser8308881
 
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
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

How to Download & Install Module From the Odoo App Store in Odoo 17
How to Download & Install Module From the Odoo App Store in Odoo 17How to Download & Install Module From the Odoo App Store in Odoo 17
How to Download & Install Module From the Odoo App Store in Odoo 17
Celine George
 
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptxRESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
zuzanka
 
BIOLOGY NATIONAL EXAMINATION COUNCIL (NECO) 2024 PRACTICAL MANUAL.pptx
BIOLOGY NATIONAL EXAMINATION COUNCIL (NECO) 2024 PRACTICAL MANUAL.pptxBIOLOGY NATIONAL EXAMINATION COUNCIL (NECO) 2024 PRACTICAL MANUAL.pptx
BIOLOGY NATIONAL EXAMINATION COUNCIL (NECO) 2024 PRACTICAL MANUAL.pptx
RidwanHassanYusuf
 
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdfREASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
giancarloi8888
 
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 8 - CẢ NĂM - FRIENDS PLUS - NĂM HỌC 2023-2024 (B...
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 8 - CẢ NĂM - FRIENDS PLUS - NĂM HỌC 2023-2024 (B...BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 8 - CẢ NĂM - FRIENDS PLUS - NĂM HỌC 2023-2024 (B...
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 8 - CẢ NĂM - FRIENDS PLUS - NĂM HỌC 2023-2024 (B...
Nguyen Thanh Tu Collection
 
NIPER 2024 MEMORY BASED QUESTIONS.ANSWERS TO NIPER 2024 QUESTIONS.NIPER JEE 2...
NIPER 2024 MEMORY BASED QUESTIONS.ANSWERS TO NIPER 2024 QUESTIONS.NIPER JEE 2...NIPER 2024 MEMORY BASED QUESTIONS.ANSWERS TO NIPER 2024 QUESTIONS.NIPER JEE 2...
NIPER 2024 MEMORY BASED QUESTIONS.ANSWERS TO NIPER 2024 QUESTIONS.NIPER JEE 2...
Payaamvohra1
 
A Visual Guide to 1 Samuel | A Tale of Two Hearts
A Visual Guide to 1 Samuel | A Tale of Two HeartsA Visual Guide to 1 Samuel | A Tale of Two Hearts
A Visual Guide to 1 Samuel | A Tale of Two Hearts
Steve Thomason
 
Bossa N’ Roll Records by Ismael Vazquez.
Bossa N’ Roll Records by Ismael Vazquez.Bossa N’ Roll Records by Ismael Vazquez.
Bossa N’ Roll Records by Ismael Vazquez.
IsmaelVazquez38
 
Standardized tool for Intelligence test.
Standardized tool for Intelligence test.Standardized tool for Intelligence test.
Standardized tool for Intelligence test.
deepaannamalai16
 
How to Fix [Errno 98] address already in use
How to Fix [Errno 98] address already in useHow to Fix [Errno 98] address already in use
How to Fix [Errno 98] address already in use
Celine George
 
SWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptxSWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptx
zuzanka
 
How to Setup Default Value for a Field in Odoo 17
How to Setup Default Value for a Field in Odoo 17How to Setup Default Value for a Field in Odoo 17
How to Setup Default Value for a Field in Odoo 17
Celine George
 
spot a liar (Haiqa 146).pptx Technical writhing and presentation skills
spot a liar (Haiqa 146).pptx Technical writhing and presentation skillsspot a liar (Haiqa 146).pptx Technical writhing and presentation skills
spot a liar (Haiqa 146).pptx Technical writhing and presentation skills
haiqairshad
 
78 Microsoft-Publisher - Sirin Sultana Bora.pptx
78 Microsoft-Publisher - Sirin Sultana Bora.pptx78 Microsoft-Publisher - Sirin Sultana Bora.pptx
78 Microsoft-Publisher - Sirin Sultana Bora.pptx
Kalna College
 
220711130088 Sumi Basak Virtual University EPC 3.pptx
220711130088 Sumi Basak Virtual University EPC 3.pptx220711130088 Sumi Basak Virtual University EPC 3.pptx
220711130088 Sumi Basak Virtual University EPC 3.pptx
Kalna College
 
Oliver Asks for More by Charles Dickens (9)
Oliver Asks for More by Charles Dickens (9)Oliver Asks for More by Charles Dickens (9)
Oliver Asks for More by Charles Dickens (9)
nitinpv4ai
 
Temple of Asclepius in Thrace. Excavation results
Temple of Asclepius in Thrace. Excavation resultsTemple of Asclepius in Thrace. Excavation results
Temple of Asclepius in Thrace. Excavation results
Krassimira Luka
 
Contiguity Of Various Message Forms - Rupam Chandra.pptx
Contiguity Of Various Message Forms - Rupam Chandra.pptxContiguity Of Various Message Forms - Rupam Chandra.pptx
Contiguity Of Various Message Forms - Rupam Chandra.pptx
Kalna College
 
CIS 4200-02 Group 1 Final Project Report (1).pdf
CIS 4200-02 Group 1 Final Project Report (1).pdfCIS 4200-02 Group 1 Final Project Report (1).pdf
CIS 4200-02 Group 1 Final Project Report (1).pdf
blueshagoo1
 
Bonku-Babus-Friend by Sathyajith Ray (9)
Bonku-Babus-Friend by Sathyajith Ray  (9)Bonku-Babus-Friend by Sathyajith Ray  (9)
Bonku-Babus-Friend by Sathyajith Ray (9)
nitinpv4ai
 

Recently uploaded (20)

How to Download & Install Module From the Odoo App Store in Odoo 17
How to Download & Install Module From the Odoo App Store in Odoo 17How to Download & Install Module From the Odoo App Store in Odoo 17
How to Download & Install Module From the Odoo App Store in Odoo 17
 
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptxRESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
RESULTS OF THE EVALUATION QUESTIONNAIRE.pptx
 
BIOLOGY NATIONAL EXAMINATION COUNCIL (NECO) 2024 PRACTICAL MANUAL.pptx
BIOLOGY NATIONAL EXAMINATION COUNCIL (NECO) 2024 PRACTICAL MANUAL.pptxBIOLOGY NATIONAL EXAMINATION COUNCIL (NECO) 2024 PRACTICAL MANUAL.pptx
BIOLOGY NATIONAL EXAMINATION COUNCIL (NECO) 2024 PRACTICAL MANUAL.pptx
 
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdfREASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
 
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 8 - CẢ NĂM - FRIENDS PLUS - NĂM HỌC 2023-2024 (B...
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 8 - CẢ NĂM - FRIENDS PLUS - NĂM HỌC 2023-2024 (B...BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 8 - CẢ NĂM - FRIENDS PLUS - NĂM HỌC 2023-2024 (B...
BÀI TẬP BỔ TRỢ TIẾNG ANH LỚP 8 - CẢ NĂM - FRIENDS PLUS - NĂM HỌC 2023-2024 (B...
 
NIPER 2024 MEMORY BASED QUESTIONS.ANSWERS TO NIPER 2024 QUESTIONS.NIPER JEE 2...
NIPER 2024 MEMORY BASED QUESTIONS.ANSWERS TO NIPER 2024 QUESTIONS.NIPER JEE 2...NIPER 2024 MEMORY BASED QUESTIONS.ANSWERS TO NIPER 2024 QUESTIONS.NIPER JEE 2...
NIPER 2024 MEMORY BASED QUESTIONS.ANSWERS TO NIPER 2024 QUESTIONS.NIPER JEE 2...
 
A Visual Guide to 1 Samuel | A Tale of Two Hearts
A Visual Guide to 1 Samuel | A Tale of Two HeartsA Visual Guide to 1 Samuel | A Tale of Two Hearts
A Visual Guide to 1 Samuel | A Tale of Two Hearts
 
Bossa N’ Roll Records by Ismael Vazquez.
Bossa N’ Roll Records by Ismael Vazquez.Bossa N’ Roll Records by Ismael Vazquez.
Bossa N’ Roll Records by Ismael Vazquez.
 
Standardized tool for Intelligence test.
Standardized tool for Intelligence test.Standardized tool for Intelligence test.
Standardized tool for Intelligence test.
 
How to Fix [Errno 98] address already in use
How to Fix [Errno 98] address already in useHow to Fix [Errno 98] address already in use
How to Fix [Errno 98] address already in use
 
SWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptxSWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptx
 
How to Setup Default Value for a Field in Odoo 17
How to Setup Default Value for a Field in Odoo 17How to Setup Default Value for a Field in Odoo 17
How to Setup Default Value for a Field in Odoo 17
 
spot a liar (Haiqa 146).pptx Technical writhing and presentation skills
spot a liar (Haiqa 146).pptx Technical writhing and presentation skillsspot a liar (Haiqa 146).pptx Technical writhing and presentation skills
spot a liar (Haiqa 146).pptx Technical writhing and presentation skills
 
78 Microsoft-Publisher - Sirin Sultana Bora.pptx
78 Microsoft-Publisher - Sirin Sultana Bora.pptx78 Microsoft-Publisher - Sirin Sultana Bora.pptx
78 Microsoft-Publisher - Sirin Sultana Bora.pptx
 
220711130088 Sumi Basak Virtual University EPC 3.pptx
220711130088 Sumi Basak Virtual University EPC 3.pptx220711130088 Sumi Basak Virtual University EPC 3.pptx
220711130088 Sumi Basak Virtual University EPC 3.pptx
 
Oliver Asks for More by Charles Dickens (9)
Oliver Asks for More by Charles Dickens (9)Oliver Asks for More by Charles Dickens (9)
Oliver Asks for More by Charles Dickens (9)
 
Temple of Asclepius in Thrace. Excavation results
Temple of Asclepius in Thrace. Excavation resultsTemple of Asclepius in Thrace. Excavation results
Temple of Asclepius in Thrace. Excavation results
 
Contiguity Of Various Message Forms - Rupam Chandra.pptx
Contiguity Of Various Message Forms - Rupam Chandra.pptxContiguity Of Various Message Forms - Rupam Chandra.pptx
Contiguity Of Various Message Forms - Rupam Chandra.pptx
 
CIS 4200-02 Group 1 Final Project Report (1).pdf
CIS 4200-02 Group 1 Final Project Report (1).pdfCIS 4200-02 Group 1 Final Project Report (1).pdf
CIS 4200-02 Group 1 Final Project Report (1).pdf
 
Bonku-Babus-Friend by Sathyajith Ray (9)
Bonku-Babus-Friend by Sathyajith Ray  (9)Bonku-Babus-Friend by Sathyajith Ray  (9)
Bonku-Babus-Friend by Sathyajith Ray (9)
 

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)