c

Uploaded by

T2.07. Trần Văn Đạt

Available Formats

Download as DOCX, PDF, TXT or read online on Scribd

0% found this document useful (0 votes)

4 views

c

Uploaded by

T2.07. Trần Văn Đạt

Available Formats

Download as DOCX, PDF, TXT or read online on Scribd

You are on page 1/ 2

c) p⊕(p∨q)

p q p∨ p⊕(p∨q)
q

T T T F

T F T F

F T T T

F F F F

d) (p∧q)→(p∨q)

p q p∧ p∨ (p∧q)→(p∨
q q q)

T T T T T

T F F T T

F T F T T

F F F F T

e) (q→¬p)↔(p↔q)

p q ¬p q→¬ p↔q (q→¬p)↔(p↔q)

T T F F T F

T F F T F F

F T T T F T

F F T T T F

f) (p↔q)⊕(p↔¬q)

p q ¬q p↔q p↔¬q (p↔q)⊕(p↔¬q)

T T F T F T

T F T F T T

F T F F T T

F F T T F T

Solutions: Louis Barson Kyoto University April 29, 2009
No ratings yet
Solutions: Louis Barson Kyoto University April 29, 2009
10 pages
Cheat Sheet
No ratings yet
Cheat Sheet
1 page
فارغ 3
No ratings yet
فارغ 3
9 pages
Paña Exercises-No.1
No ratings yet
Paña Exercises-No.1
6 pages
Exercise 1
No ratings yet
Exercise 1
5 pages
COMIA, JOHN LLOYD B - Exercises-No.1
No ratings yet
COMIA, JOHN LLOYD B - Exercises-No.1
7 pages
Propositions
No ratings yet
Propositions
25 pages
DS Assignment
No ratings yet
DS Assignment
8 pages
Chapter 1
No ratings yet
Chapter 1
33 pages
HW1A (1)
No ratings yet
HW1A (1)
23 pages
Important Equivalences in Propositional Logic
No ratings yet
Important Equivalences in Propositional Logic
1 page
Tautologies PDF
No ratings yet
Tautologies PDF
1 page
Tautologies PDF
No ratings yet
Tautologies PDF
1 page
Tautologies PDF
No ratings yet
Tautologies PDF
1 page
Exercise 1
No ratings yet
Exercise 1
7 pages
Prove: (P Q) Q P Q: Proofs Using Logical Equivalences
No ratings yet
Prove: (P Q) Q P Q: Proofs Using Logical Equivalences
4 pages
Discrete Mathematics and Its Applications - Kenneth Rosen (2012)
No ratings yet
Discrete Mathematics and Its Applications - Kenneth Rosen (2012)
4 pages
Quiz1 Solutions PDF
100% (1)
Quiz1 Solutions PDF
2 pages
CSE 260-002 QUIZ-2 - Propositional Equivalences - ANSWER (30 Points/20 Minutes)
No ratings yet
CSE 260-002 QUIZ-2 - Propositional Equivalences - ANSWER (30 Points/20 Minutes)
2 pages
Logics PDF
No ratings yet
Logics PDF
2 pages
02 Propositional Equivalences
No ratings yet
02 Propositional Equivalences
24 pages
Some Exercises On Propositional Logic: Suhail Q. Mir
No ratings yet
Some Exercises On Propositional Logic: Suhail Q. Mir
14 pages
Mathematical Logic: Algebra and Geometry
No ratings yet
Mathematical Logic: Algebra and Geometry
9 pages
Rules of Inference:: Any of The Following Logically Equivalent Expressions Can Replace Each Other Wherever They Occur
No ratings yet
Rules of Inference:: Any of The Following Logically Equivalent Expressions Can Replace Each Other Wherever They Occur
3 pages
SEHH2241 Lecture 2
No ratings yet
SEHH2241 Lecture 2
7 pages
Tutorial 3
No ratings yet
Tutorial 3
2 pages
Discrete Mathematics: (COMP2121B)
No ratings yet
Discrete Mathematics: (COMP2121B)
20 pages
Propositional Logic: CSS510/ITC430 Discrete Structures
No ratings yet
Propositional Logic: CSS510/ITC430 Discrete Structures
19 pages
Discrete Math Formulas
No ratings yet
Discrete Math Formulas
3 pages
Ejercicios de Lógica para Deducir
No ratings yet
Ejercicios de Lógica para Deducir
3 pages
تمارين المحاضرة الأولى
No ratings yet
تمارين المحاضرة الأولى
7 pages
NEW
No ratings yet
NEW
1 page
Logics - Questions
No ratings yet
Logics - Questions
4 pages
Formula Sheet: Based On Dave Tompkins's Awesome CPSC 121 Handout
No ratings yet
Formula Sheet: Based On Dave Tompkins's Awesome CPSC 121 Handout
3 pages
CPT 317 - AI Week 7 PL FOL (Question and Answer)
No ratings yet
CPT 317 - AI Week 7 PL FOL (Question and Answer)
9 pages
P: It Is Below Freezing. Q: It Is Snowing
No ratings yet
P: It Is Below Freezing. Q: It Is Snowing
2 pages
Table 2.: Equivalences Name
No ratings yet
Table 2.: Equivalences Name
11 pages
Discrete Structure 5
No ratings yet
Discrete Structure 5
34 pages
Clase 23-10 Deducción Natural
No ratings yet
Clase 23-10 Deducción Natural
4 pages
Assignment#1 Solved
No ratings yet
Assignment#1 Solved
15 pages
Cheat Sheet
No ratings yet
Cheat Sheet
1 page
Homework 1a
No ratings yet
Homework 1a
12 pages
1.3 Propositional Equivalences: Tautologies, Contradictions, and Contingencies
No ratings yet
1.3 Propositional Equivalences: Tautologies, Contradictions, and Contingencies
3 pages
Logic
No ratings yet
Logic
1 page
Section 1.2, Selected Answers Math 114 Discrete Mathematics
No ratings yet
Section 1.2, Selected Answers Math 114 Discrete Mathematics
2 pages
3-Logical-Equivalence
No ratings yet
3-Logical-Equivalence
12 pages
04 NatDed
No ratings yet
04 NatDed
30 pages
COMS1016 Lecture 5 Solutions
No ratings yet
COMS1016 Lecture 5 Solutions
4 pages
02 PropLogicPrfs-DNFCombined - Handout PDF
No ratings yet
02 PropLogicPrfs-DNFCombined - Handout PDF
4 pages
HWK 1
No ratings yet
HWK 1
11 pages
Logic_exercise_solutions
No ratings yet
Logic_exercise_solutions
3 pages
Lecture 3
No ratings yet
Lecture 3
11 pages
W4-232
No ratings yet
W4-232
31 pages
COMP9414: Artificial Intelligence - Solutions Week 5 Propositional Logic
No ratings yet
COMP9414: Artificial Intelligence - Solutions Week 5 Propositional Logic
4 pages
Matematika Diskrit
No ratings yet
Matematika Diskrit
25 pages
Practice Problem Set 1 (Solution, Updated on 2024.10.19) (1)
No ratings yet
Practice Problem Set 1 (Solution, Updated on 2024.10.19) (1)
7 pages
¬ (ρ ∧ q) ¬p ∨ ¬q ρ q ¬ ρ ¬ q (ρ ∧ q) ¬ (ρ ∧ q) ¬p∨ ¬q: State & prove Demorgans law by using truth table
No ratings yet
¬ (ρ ∧ q) ¬p ∨ ¬q ρ q ¬ ρ ¬ q (ρ ∧ q) ¬ (ρ ∧ q) ¬p∨ ¬q: State & prove Demorgans law by using truth table
2 pages
Discrete Structure (Assignment)
No ratings yet
Discrete Structure (Assignment)
9 pages
Reference Sheet For Logic and Program Proofs: Logical Equivalences
No ratings yet
Reference Sheet For Logic and Program Proofs: Logical Equivalences
1 page
Ảnh màn hình 2025-02-25 lúc 08.22.56
No ratings yet
Ảnh màn hình 2025-02-25 lúc 08.22.56
41 pages
Group 2_Proposal_SSL_BA1905
No ratings yet
Group 2_Proposal_SSL_BA1905
7 pages
Toanroirac
No ratings yet
Toanroirac
12 pages
ENT303 SP24 H2 FE Speaking Topics SV
No ratings yet
ENT303 SP24 H2 FE Speaking Topics SV
2 pages
ENT203 SP24 H1 FE Speaking Topics SV
No ratings yet
ENT203 SP24 H1 FE Speaking Topics SV
2 pages
01-Propositional Logic
No ratings yet
01-Propositional Logic
40 pages
cấu trúc
No ratings yet
cấu trúc
8 pages
Writing T NG H P
No ratings yet
Writing T NG H P
10 pages
ENT203 Vocabulary FALL20
No ratings yet
ENT203 Vocabulary FALL20
43 pages
Listening 1
No ratings yet
Listening 1
4 pages
File T V NG lv2
No ratings yet
File T V NG lv2
45 pages
đề TA
No ratings yet
đề TA
1 page
Quizizz Answers - Cheat Network
No ratings yet
Quizizz Answers - Cheat Network
1 page
Reading Text 1
No ratings yet
Reading Text 1
3 pages
The Best Quizizz Cheat, Hack, Answers - Cheat Net
No ratings yet
The Best Quizizz Cheat, Hack, Answers - Cheat Net
1 page
bé đẹt iu dấu
No ratings yet
bé đẹt iu dấu
7 pages
FA23 H1 Speaking
No ratings yet
FA23 H1 Speaking
11 pages
bản dịch tiếng anh
No ratings yet
bản dịch tiếng anh
4 pages
ENT104 - FA23 - H2 - FE - Speaking Topics - SV
No ratings yet
ENT104 - FA23 - H2 - FE - Speaking Topics - SV
2 pages

c

Uploaded by

c

Uploaded by

c) p⊕(p∨q)

p q ¬p q→¬ p↔q (q→¬p)↔(p↔q)

p q ¬q p↔q p↔¬q (p↔q)⊕(p↔¬q)

You might also like