Solving Formula for Truth Table: P & Q

  • Thread starter Thread starter autre
  • Start date Start date
  • Tags Tags
    Table Truth table
AI Thread Summary
The discussion focuses on deriving a formula for a truth table involving variables P and Q, specifically for the exclusive or (XOR) scenario. The provided truth table indicates that the output is true when either P is false and Q is true, or P is true and Q is false. Minterms, which are expressions using conjunction (∧) and negation (¬), are identified as the key to forming the correct formula. The disjunction (∨) of all relevant minterms will yield the desired expression that matches the truth table. The final formula for the truth table is established through this method.
autre
Messages
116
Reaction score
0
I need to find the formula involving \neg, \wedge or \vee for the following truth table with the variables P and Q:

P Q formula
F F F
F T T
T F T
T T F

The closest I've gotten is something like P\vee(\negP\wedgeQ) which clearly doesn't work for the last row. Any ideas?
 
Physics news on Phys.org
That's the truth table for "exclusive or".

¬P∧Q is only true with P = F and Q = T. (line 2)

P∧¬Q is only true with P = T and Q = F. (line 3)

These are what are known as minterms. Minterms are expressions using only conjunction and negation (∧ and ¬), which are true for the inputs from one line of the truth table with a true output. Each input should be represented in the minterm.

The disjunction (∨) of all minterms will be an expression that corresponds to the truth table.
 
Last edited:

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
View full post »

Similar threads

MHB Solving Q.7 with Truth Tables: What Is the Right Conclusion?
Replies
2
Views
2K
MHB Truth Table for P(x) & R(x), ~Q(x) & P(x) in U
Replies
1
Views
2K
MHB Calculating Truth Tables for Propositions
Replies
2
Views
1K
Understanding the truth table of → (implies)
Replies
3
Views
2K
Logic Truth Table: Answers Checked
Replies
1
Views
6K
I Proving the Implication of p and (p -> q) to q without Truth Tables
Replies
3
Views
2K
Truth table, implication and equivalence
Replies
4
Views
3K
MHB Create a Truth Table: (p ^ q) ->(p ▼ ~q)
Replies
3
Views
2K
Diccrete Math problem: finding a proposition given a specific truth table
Replies
2
Views
4K
Need help with truth table for P->Q and it's inverse
Replies
4
Views
2K

Hot Threads

Recent Insights

Back
Top