SlideShare a Scribd company logo
MATEMÁTICAS DISCRETAS
TALLER No 1
Yeimi Carolina Acosta Ortiz – 24157
Maryluz Ospina Quintero –
Patricia Olmos
Jonathan Jair Castro Quiñones – 9829
Omar Urazan García –
Rolando Cuenca -
Universidad ECCI
Bogotá D.C
Sep - 2015
•P ˅ q →˜r
•P ˄ q →˜ (p ˄ r)
•˜ p → ˜ r
LOGICA PROPOSICIONAL
a.
Contingencia
b.
Contingencia
Contingencia
c.
FNC
(p ˅ ˜ q ˅ r)
FND
(˜p ˄ ˜ q ˄ ˜ r) ˅ (˜p ˄ ˜ q ˄ r) ˅ (˜ p ˄ q ˄ r) ˅ (p ˄ ˜ q ˄ ˜ r) ˅ (p ˄ ˜ q ˄ r) ˅ (p ˄ q ˄ ˜ r) ˅ (p ˄ q ˄ r)
a.
FNC
(p ˅ r ˅ s ˅ q) ˄ (p ˅ r ˅ s ˅ ̃q) ˄ (p ˅ r ˅ ̃s ˅ q) ˄ (p ˅ r ˅ ̃s ˅ ̃q) ˄ (p ˅ ̃r ˅ s ˅ q) ˄ (p ˅ ̃ r ˅
s ˅ ̃ q) ˄ (p ˅ ̃ r ˅ ̃ s ˅ q) ˄ (p ˅ ̃ r ˅ ̃ s ˅ ̃ q) ˄ ( ̃ p ˅ r ˅ s ˅ q) ˄ ( ̃ p ˅ r ˅ s ˅ ̃q) ˄ ( ̃p ˅ r
˅ ̃ s ˅ q) ˄ ( ̃p ˅ r ˅ ̃s ˅ ̃q) ˄ ( ̃p ˅ ̃ r ˅ s ˅ q) ˄ ( ̃p ˅ ̃ r ˅ s ˅ ̃ q) ˄ ( ̃ p ˅ ̃ r ˅ ̃ s ˅ q) ˄ ( ̃p
˅ ̃ r ˅ ̃ s ˅ ̃ q)
b.
FNC
(p ˅ r ˅ s ) ˄ (p ˅ r ˅ ̃ s ) ˄ ( ̃p ˅ ̃ r ˅ s ) ˄ ( ̃ p ˅ ̃ r ˅ ̃ s )
FND
( ̃ p ˄ r ˄ ̃ s ) ˅ (p ˄ r ˄ s ) ˅ (p ˄ ̃r ˄ ̃ s ) ˅ (p ˄ ̃ r ˄ s )
c.
Taller 1

More Related Content

Viewers also liked

HE Understanding academic resistance to the adoption of new learning technolo...
HE Understanding academic resistance to the adoption of new learning technolo...HE Understanding academic resistance to the adoption of new learning technolo...
HE Understanding academic resistance to the adoption of new learning technolo...
Blackboard APAC
 
Starbucks charts profits
Starbucks charts profitsStarbucks charts profits
Starbucks charts profits
Daniela8827
 
Lecture capture and active learningRising to meet the needs of the changing A...
Lecture capture and active learningRising to meet the needs of the changing A...Lecture capture and active learningRising to meet the needs of the changing A...
Lecture capture and active learningRising to meet the needs of the changing A...
Blackboard APAC
 
Building block development in managed hosting - Angelo Rossi, Manager, Comple...
Building block development in managed hosting - Angelo Rossi, Manager, Comple...Building block development in managed hosting - Angelo Rossi, Manager, Comple...
Building block development in managed hosting - Angelo Rossi, Manager, Comple...
Blackboard APAC
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
Jonathan Castro
 
Bb on Tour 2016 | Using Tools in your LMS to Increase Student Engagement and ...
Bb on Tour 2016 | Using Tools in your LMS to Increase Student Engagement and ...Bb on Tour 2016 | Using Tools in your LMS to Increase Student Engagement and ...
Bb on Tour 2016 | Using Tools in your LMS to Increase Student Engagement and ...
Blackboard APAC
 
Morrisons case study v2
Morrisons case study v2Morrisons case study v2
Morrisons case study v2
Daniela8827
 
Implementing learning outcome and assessment in Blackboard Learn - Wade Weich...
Implementing learning outcome and assessment in Blackboard Learn - Wade Weich...Implementing learning outcome and assessment in Blackboard Learn - Wade Weich...
Implementing learning outcome and assessment in Blackboard Learn - Wade Weich...
Blackboard APAC
 

Viewers also liked (8)

HE Understanding academic resistance to the adoption of new learning technolo...
HE Understanding academic resistance to the adoption of new learning technolo...HE Understanding academic resistance to the adoption of new learning technolo...
HE Understanding academic resistance to the adoption of new learning technolo...
 
Starbucks charts profits
Starbucks charts profitsStarbucks charts profits
Starbucks charts profits
 
Lecture capture and active learningRising to meet the needs of the changing A...
Lecture capture and active learningRising to meet the needs of the changing A...Lecture capture and active learningRising to meet the needs of the changing A...
Lecture capture and active learningRising to meet the needs of the changing A...
 
Building block development in managed hosting - Angelo Rossi, Manager, Comple...
Building block development in managed hosting - Angelo Rossi, Manager, Comple...Building block development in managed hosting - Angelo Rossi, Manager, Comple...
Building block development in managed hosting - Angelo Rossi, Manager, Comple...
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
 
Bb on Tour 2016 | Using Tools in your LMS to Increase Student Engagement and ...
Bb on Tour 2016 | Using Tools in your LMS to Increase Student Engagement and ...Bb on Tour 2016 | Using Tools in your LMS to Increase Student Engagement and ...
Bb on Tour 2016 | Using Tools in your LMS to Increase Student Engagement and ...
 
Morrisons case study v2
Morrisons case study v2Morrisons case study v2
Morrisons case study v2
 
Implementing learning outcome and assessment in Blackboard Learn - Wade Weich...
Implementing learning outcome and assessment in Blackboard Learn - Wade Weich...Implementing learning outcome and assessment in Blackboard Learn - Wade Weich...
Implementing learning outcome and assessment in Blackboard Learn - Wade Weich...
 

More from Jonathan Castro

Colciencias y gestión de recursos de inversión
Colciencias y gestión de recursos de inversiónColciencias y gestión de recursos de inversión
Colciencias y gestión de recursos de inversión
Jonathan Castro
 
Taller 3
Taller 3Taller 3
Taller 3
Jonathan Castro
 
Juego de dados
Juego de dadosJuego de dados
Juego de dados
Jonathan Castro
 
Conjuntos taller 1
Conjuntos taller 1Conjuntos taller 1
Conjuntos taller 1
Jonathan Castro
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
Jonathan Castro
 
Conjuntos taller 1
Conjuntos taller 1Conjuntos taller 1
Conjuntos taller 1
Jonathan Castro
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
Jonathan Castro
 
Logica proposicional taller 1
Logica proposicional taller 1Logica proposicional taller 1
Logica proposicional taller 1
Jonathan Castro
 
Conjuntos taller 1
Conjuntos taller 1Conjuntos taller 1
Conjuntos taller 1
Jonathan Castro
 
Logica proposicional taller 1
Logica proposicional taller 1Logica proposicional taller 1
Logica proposicional taller 1
Jonathan Castro
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
Jonathan Castro
 
Conjuntos taller 1
Conjuntos taller 1Conjuntos taller 1
Conjuntos taller 1
Jonathan Castro
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
Jonathan Castro
 
Logica proposicional taller 1
Logica proposicional taller 1Logica proposicional taller 1
Logica proposicional taller 1
Jonathan Castro
 
Taller 1
Taller 1Taller 1
Taller 1
Jonathan Castro
 
Taller 1
Taller 1Taller 1
Taller 1
Jonathan Castro
 

More from Jonathan Castro (16)

Colciencias y gestión de recursos de inversión
Colciencias y gestión de recursos de inversiónColciencias y gestión de recursos de inversión
Colciencias y gestión de recursos de inversión
 
Taller 3
Taller 3Taller 3
Taller 3
 
Juego de dados
Juego de dadosJuego de dados
Juego de dados
 
Conjuntos taller 1
Conjuntos taller 1Conjuntos taller 1
Conjuntos taller 1
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
 
Conjuntos taller 1
Conjuntos taller 1Conjuntos taller 1
Conjuntos taller 1
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
 
Logica proposicional taller 1
Logica proposicional taller 1Logica proposicional taller 1
Logica proposicional taller 1
 
Conjuntos taller 1
Conjuntos taller 1Conjuntos taller 1
Conjuntos taller 1
 
Logica proposicional taller 1
Logica proposicional taller 1Logica proposicional taller 1
Logica proposicional taller 1
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
 
Conjuntos taller 1
Conjuntos taller 1Conjuntos taller 1
Conjuntos taller 1
 
Algebra booleana taller 1
Algebra booleana taller 1Algebra booleana taller 1
Algebra booleana taller 1
 
Logica proposicional taller 1
Logica proposicional taller 1Logica proposicional taller 1
Logica proposicional taller 1
 
Taller 1
Taller 1Taller 1
Taller 1
 
Taller 1
Taller 1Taller 1
Taller 1
 

Recently uploaded

Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdfObservability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Paige Cruz
 
20 Comprehensive Checklist of Designing and Developing a Website
20 Comprehensive Checklist of Designing and Developing a Website20 Comprehensive Checklist of Designing and Developing a Website
20 Comprehensive Checklist of Designing and Developing a Website
Pixlogix Infotech
 
UiPath Test Automation using UiPath Test Suite series, part 5
UiPath Test Automation using UiPath Test Suite series, part 5UiPath Test Automation using UiPath Test Suite series, part 5
UiPath Test Automation using UiPath Test Suite series, part 5
DianaGray10
 
20240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 202420240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 2024
Matthew Sinclair
 
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
Neo4j
 
Large Language Model (LLM) and it’s Geospatial Applications
Large Language Model (LLM) and it’s Geospatial ApplicationsLarge Language Model (LLM) and it’s Geospatial Applications
Large Language Model (LLM) and it’s Geospatial Applications
Rohit Gautam
 
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
名前 です男
 
How to use Firebase Data Connect For Flutter
How to use Firebase Data Connect For FlutterHow to use Firebase Data Connect For Flutter
How to use Firebase Data Connect For Flutter
Daiki Mogmet Ito
 
Full-RAG: A modern architecture for hyper-personalization
Full-RAG: A modern architecture for hyper-personalizationFull-RAG: A modern architecture for hyper-personalization
Full-RAG: A modern architecture for hyper-personalization
Zilliz
 
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AI
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AIEnchancing adoption of Open Source Libraries. A case study on Albumentations.AI
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AI
Vladimir Iglovikov, Ph.D.
 
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
Neo4j
 
Monitoring Java Application Security with JDK Tools and JFR Events
Monitoring Java Application Security with JDK Tools and JFR EventsMonitoring Java Application Security with JDK Tools and JFR Events
Monitoring Java Application Security with JDK Tools and JFR Events
Ana-Maria Mihalceanu
 
Presentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of GermanyPresentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of Germany
innovationoecd
 
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Speck&Tech
 
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Albert Hoitingh
 
A tale of scale & speed: How the US Navy is enabling software delivery from l...
A tale of scale & speed: How the US Navy is enabling software delivery from l...A tale of scale & speed: How the US Navy is enabling software delivery from l...
A tale of scale & speed: How the US Navy is enabling software delivery from l...
sonjaschweigert1
 
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
James Anderson
 
Essentials of Automations: The Art of Triggers and Actions in FME
Essentials of Automations: The Art of Triggers and Actions in FMEEssentials of Automations: The Art of Triggers and Actions in FME
Essentials of Automations: The Art of Triggers and Actions in FME
Safe Software
 
National Security Agency - NSA mobile device best practices
National Security Agency - NSA mobile device best practicesNational Security Agency - NSA mobile device best practices
National Security Agency - NSA mobile device best practices
Quotidiano Piemontese
 
Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
mikeeftimakis1
 

Recently uploaded (20)

Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdfObservability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
 
20 Comprehensive Checklist of Designing and Developing a Website
20 Comprehensive Checklist of Designing and Developing a Website20 Comprehensive Checklist of Designing and Developing a Website
20 Comprehensive Checklist of Designing and Developing a Website
 
UiPath Test Automation using UiPath Test Suite series, part 5
UiPath Test Automation using UiPath Test Suite series, part 5UiPath Test Automation using UiPath Test Suite series, part 5
UiPath Test Automation using UiPath Test Suite series, part 5
 
20240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 202420240605 QFM017 Machine Intelligence Reading List May 2024
20240605 QFM017 Machine Intelligence Reading List May 2024
 
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
GraphSummit Singapore | The Future of Agility: Supercharging Digital Transfor...
 
Large Language Model (LLM) and it’s Geospatial Applications
Large Language Model (LLM) and it’s Geospatial ApplicationsLarge Language Model (LLM) and it’s Geospatial Applications
Large Language Model (LLM) and it’s Geospatial Applications
 
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
みなさんこんにちはこれ何文字まで入るの?40文字以下不可とか本当に意味わからないけどこれ限界文字数書いてないからマジでやばい文字数いけるんじゃないの?えこ...
 
How to use Firebase Data Connect For Flutter
How to use Firebase Data Connect For FlutterHow to use Firebase Data Connect For Flutter
How to use Firebase Data Connect For Flutter
 
Full-RAG: A modern architecture for hyper-personalization
Full-RAG: A modern architecture for hyper-personalizationFull-RAG: A modern architecture for hyper-personalization
Full-RAG: A modern architecture for hyper-personalization
 
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AI
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AIEnchancing adoption of Open Source Libraries. A case study on Albumentations.AI
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AI
 
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
GraphSummit Singapore | Enhancing Changi Airport Group's Passenger Experience...
 
Monitoring Java Application Security with JDK Tools and JFR Events
Monitoring Java Application Security with JDK Tools and JFR EventsMonitoring Java Application Security with JDK Tools and JFR Events
Monitoring Java Application Security with JDK Tools and JFR Events
 
Presentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of GermanyPresentation of the OECD Artificial Intelligence Review of Germany
Presentation of the OECD Artificial Intelligence Review of Germany
 
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?
 
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
 
A tale of scale & speed: How the US Navy is enabling software delivery from l...
A tale of scale & speed: How the US Navy is enabling software delivery from l...A tale of scale & speed: How the US Navy is enabling software delivery from l...
A tale of scale & speed: How the US Navy is enabling software delivery from l...
 
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...
 
Essentials of Automations: The Art of Triggers and Actions in FME
Essentials of Automations: The Art of Triggers and Actions in FMEEssentials of Automations: The Art of Triggers and Actions in FME
Essentials of Automations: The Art of Triggers and Actions in FME
 
National Security Agency - NSA mobile device best practices
National Security Agency - NSA mobile device best practicesNational Security Agency - NSA mobile device best practices
National Security Agency - NSA mobile device best practices
 
Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
 

Taller 1

  • 1. MATEMÁTICAS DISCRETAS TALLER No 1 Yeimi Carolina Acosta Ortiz – 24157 Maryluz Ospina Quintero – Patricia Olmos Jonathan Jair Castro Quiñones – 9829 Omar Urazan García – Rolando Cuenca - Universidad ECCI Bogotá D.C Sep - 2015
  • 2. •P ˅ q →˜r •P ˄ q →˜ (p ˄ r) •˜ p → ˜ r LOGICA PROPOSICIONAL
  • 3.
  • 7. FNC (p ˅ ˜ q ˅ r) FND (˜p ˄ ˜ q ˄ ˜ r) ˅ (˜p ˄ ˜ q ˄ r) ˅ (˜ p ˄ q ˄ r) ˅ (p ˄ ˜ q ˄ ˜ r) ˅ (p ˄ ˜ q ˄ r) ˅ (p ˄ q ˄ ˜ r) ˅ (p ˄ q ˄ r) a.
  • 8. FNC (p ˅ r ˅ s ˅ q) ˄ (p ˅ r ˅ s ˅ ̃q) ˄ (p ˅ r ˅ ̃s ˅ q) ˄ (p ˅ r ˅ ̃s ˅ ̃q) ˄ (p ˅ ̃r ˅ s ˅ q) ˄ (p ˅ ̃ r ˅ s ˅ ̃ q) ˄ (p ˅ ̃ r ˅ ̃ s ˅ q) ˄ (p ˅ ̃ r ˅ ̃ s ˅ ̃ q) ˄ ( ̃ p ˅ r ˅ s ˅ q) ˄ ( ̃ p ˅ r ˅ s ˅ ̃q) ˄ ( ̃p ˅ r ˅ ̃ s ˅ q) ˄ ( ̃p ˅ r ˅ ̃s ˅ ̃q) ˄ ( ̃p ˅ ̃ r ˅ s ˅ q) ˄ ( ̃p ˅ ̃ r ˅ s ˅ ̃ q) ˄ ( ̃ p ˅ ̃ r ˅ ̃ s ˅ q) ˄ ( ̃p ˅ ̃ r ˅ ̃ s ˅ ̃ q) b.
  • 9. FNC (p ˅ r ˅ s ) ˄ (p ˅ r ˅ ̃ s ) ˄ ( ̃p ˅ ̃ r ˅ s ) ˄ ( ̃ p ˅ ̃ r ˅ ̃ s ) FND ( ̃ p ˄ r ˄ ̃ s ) ˅ (p ˄ r ˄ s ) ˅ (p ˄ ̃r ˄ ̃ s ) ˅ (p ˄ ̃ r ˄ s ) c.