
New Users Post up here and introduce yourself! 
 LinkBack  Thread Tools  Display Modes 
February 4th, 2017, 06:46 AM  #1 
Newbie Joined: Jan 2017 From: ireland Posts: 8 Thanks: 0  truth table, how to build a truth table with these informations
I would like to know how to build a truth table with these information Please? If Mike hits the wall on the east OR on the west, then Mike goes backwards 30 steps, then Mike turn to a random direction AND goes forward again. 
February 4th, 2017, 06:50 AM  #2 
Senior Member Joined: Dec 2012 From: Hong Kong Posts: 781 Thanks: 284 Math Focus: Linear algebra, linear statistical models 
Let's use these symbols: P: Mike hits the wall on the east Q: Mike hits the wall on the west R: Mike goes backward 30 steps S: Mike turns to a random direction T: Mike goes forward again The first part we can formalise as (P V Q), since 'or' appeared. The second part we can write as (R & S & T)  don't be deceived by the 'then', which indicates time rather than conditionality. We put the whole thing together like this: (P V Q) > (R & (S & T)). The truth table should be routine. Can you continue? Last edited by 123qwerty; February 4th, 2017 at 07:05 AM. 
February 4th, 2017, 06:56 AM  #3 
Newbie Joined: Jan 2017 From: ireland Posts: 8 Thanks: 0 
Thanks very much already, actually I would like to get the truth table if you don't mind please, Can you continue? thanks again.

February 4th, 2017, 07:08 AM  #4 
Senior Member Joined: Dec 2012 From: Hong Kong Posts: 781 Thanks: 284 Math Focus: Linear algebra, linear statistical models 
Hmm, it's a tad hard to represent tables in the forum (I've tried \begin{tabular} in LaTeX and it didn't work). I can provide you with a few representative examples so that you can work out the rest yourself. Code: P  Q  R  S  T  (P v Q) > (R & (S & T)) T  T  T  T  T  T T T T T T T T T T  F  T  T  F  T T F F T F T F F F  F  T  T  T  F F F T T T T T T F  F  T  T  F  F F F T T F T F F Last edited by 123qwerty; February 4th, 2017 at 08:07 AM. 
February 4th, 2017, 12:16 PM  #5 
Newbie Joined: Jan 2017 From: ireland Posts: 8 Thanks: 0 
Hello. I would like to reduce the same compound proposition to a Conjunctive Normal Form, Do you know, thank. (P V Q) > (R & (S & T)). 

Tags 
build, informations, table, truth 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Truth table  unistu  Abstract Algebra  1  March 23rd, 2016 06:26 PM 
Truth table AND THE Karnaugh Map  assu94  Abstract Algebra  1  July 9th, 2015 04:41 PM 
Truth table and Karnaugh Map  assu94  Applied Math  0  July 9th, 2015 04:31 AM 
Truth Table,validity...  john616  Applied Math  2  February 19th, 2012 01:33 PM 
Truth Table problem  Akhanoth  Applied Math  5  October 29th, 2011 07:38 AM 