Dtjytyk

Does the attack bonus from a Masterwork weapon stack with the attack bonus from Masterwork ammunition?

Would it be believable to defy demographics in a story?

PTIJ: Why do we blow Shofar on Rosh Hashana and use a Lulav on Sukkos?

Brake pads destroying wheels

In what cases must I use 了 and in what cases not?

Optimising a list searching algorithm

How to define limit operations in general topological spaces? Are nets able to do this?

Using Past-Perfect interchangeably with the Past Continuous

What does Deadpool mean by "left the house in that shirt"?

Unfrosted light bulb

HP P840 HDD RAID 5 many strange drive failures

Calculate the frequency of characters in a string

What (if any) is the reason to buy in small local stores?

Is there a term for accumulated dirt on the outside of your hands and feet?

Help rendering a complicated sum/product formula

Why is indicated airspeed rather than ground speed used during the takeoff roll?

Worshiping one God at a time?

Turning a hard to access nut?

gerund and noun applications

What does "^L" mean in C?

Practical application of matrices and determinants

Am I eligible for the Eurail Youth pass? I am 27.5 years old

How can an organ that provides biological immortality be unable to regenerate?

How are passwords stolen from companies if they only store hashes?

Propositional Logic - Logical Simplification

Hierarchy of operators of propositional logicProblem with simplification in discrete mathGiving this formula in DNF and CNF propositional logicReducing propositional logic statementsProblem while solving a logic expressionPropositional Logic TautologyPropositional Logic: Prove $(p land lnot q) to lnot p vdash p to q$.Simplify Propositional Form - Discrete mathsHow to transform this CNF formula (A∨B∨C)∧(¬A∨¬C)∧(¬A∨¬B) into DNF?Propositional Logic Translation

0

$begingroup$

Can we further simplify this statement.
$text{~a $rightarrow$ (b $oplus$ c)}$

I got around here and stuck.
$text{~a $rightarrow$ ~[(b $rightarrow$ c) $land$ (c $rightarrow$ b)]}$
$text{~a $rightarrow$ [~(b $rightarrow$ c) $lor$ ~(c $rightarrow$ b)]}$
$text{~a $rightarrow$ [(b $land$ ~c) $lor$ (c $land$ ~b)]}$

I just learned about Inference in Propositional Logic and I can't go further without change it into Conjunctive Normal Form first.

Thanks a lot for help.

logic propositional-calculus

share|cite|improve this question

asked Mar 11 at 19:51

Pakanon PantisawatPakanon Pantisawat

1

New contributor

Pakanon Pantisawat is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Welcome to Mathematics Stack Exchange! A quick tour will enhance your experience. Here are helpful tips to write a good question and write a good answer.
  $endgroup$
  – dantopa
  Mar 11 at 20:08
  
  
  

  
  
  
  

add a comment | 

0

$begingroup$

Can we further simplify this statement.
$text{~a $rightarrow$ (b $oplus$ c)}$

I got around here and stuck.
$text{~a $rightarrow$ ~[(b $rightarrow$ c) $land$ (c $rightarrow$ b)]}$
$text{~a $rightarrow$ [~(b $rightarrow$ c) $lor$ ~(c $rightarrow$ b)]}$
$text{~a $rightarrow$ [(b $land$ ~c) $lor$ (c $land$ ~b)]}$

I just learned about Inference in Propositional Logic and I can't go further without change it into Conjunctive Normal Form first.

Thanks a lot for help.

logic propositional-calculus

share|cite|improve this question

asked Mar 11 at 19:51

Pakanon PantisawatPakanon Pantisawat

1

New contributor

Pakanon Pantisawat is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Welcome to Mathematics Stack Exchange! A quick tour will enhance your experience. Here are helpful tips to write a good question and write a good answer.
  $endgroup$
  – dantopa
  Mar 11 at 20:08
  
  
  

  
  
  
  

add a comment | 

$begingroup$

Can we further simplify this statement.
$text{~a $rightarrow$ (b $oplus$ c)}$

I got around here and stuck.
$text{~a $rightarrow$ ~[(b $rightarrow$ c) $land$ (c $rightarrow$ b)]}$
$text{~a $rightarrow$ [~(b $rightarrow$ c) $lor$ ~(c $rightarrow$ b)]}$
$text{~a $rightarrow$ [(b $land$ ~c) $lor$ (c $land$ ~b)]}$

I just learned about Inference in Propositional Logic and I can't go further without change it into Conjunctive Normal Form first.

Thanks a lot for help.

logic propositional-calculus

share|cite|improve this question

asked Mar 11 at 19:51

Pakanon PantisawatPakanon Pantisawat

1

New contributor

Pakanon Pantisawat is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

share|cite|improve this question

asked Mar 11 at 19:51

Pakanon PantisawatPakanon Pantisawat

1

New contributor

Pakanon Pantisawat is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

share|cite|improve this question

asked Mar 11 at 19:51

Pakanon PantisawatPakanon Pantisawat

1

New contributor

Pakanon Pantisawat is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked Mar 11 at 19:51

Pakanon PantisawatPakanon Pantisawat

1

New contributor

Pakanon Pantisawat is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked Mar 11 at 19:51

Pakanon PantisawatPakanon Pantisawat

1