Scribd
Upload
81 views5 pages

Truth Table Creator

The document presents a truth table that evaluates the logical statement ((a → p)∧(p → e)∧(d∧a)∧(s → ¬ e)∧( ¬ s → x)) → (d∧x). It lists all possible combinations of truth values for the variables a, d, e, p, s, x and evaluates the main statement for each combination, outputting either True or False. The truth table has 16 rows to account for all possible combinations of truth values for the 6 variables.

Uploaded by

Laime Carrillo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
81 views5 pages

Truth Table Creator

The document presents a truth table that evaluates the logical statement ((a → p)∧(p → e)∧(d∧a)∧(s → ¬ e)∧( ¬ s → x)) → (d∧x). It lists all possible combinations of truth values for the variables a, d, e, p, s, x and evaluates the main statement for each combination, outputting either True or False. The truth table has 16 rows to account for all possible combinations of truth values for the 6 variables.

Uploaded by

Laime Carrillo
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 5

29/11/2017 Truth Table Creator

Truth Table for ((a p)(p e)(da)(s e)( s x)) (dx)

((a
(a p) p) (p
(a p)
(p e)
(a p) (p
(a p) e) (d (d a)
(p e) (d
a d e p s x ap pe (p da e se s sx a) dx (s
e) (d a)
e) (s e) (
a) (s
e) ( s
e)
s x) x))
(d x)

T T T T T T T T T T T F F F F T F T T

T T T T T F T T T T T F F F F T F F T

T T T T F T T T T T T F T T T T T T T

T T T T F F T T T T T F T T T F F F T

T T T F T T F T F T F F F F F T F T T

T T T F T F F T F T F F F F F T F F T

T T T F F T F T F T F F T F T T F T T

T T T F F F F T F T F F T F T F F F T

T T F T T T T F F T F T T F F T F T T

T T F T T F T F F T F T T F F T F F T

T T F T F T T F F T F T T F T T F T T

T T F T F F T F F T F T T F T F F F T

http://www.cs.utexas.edu/~learnlogic/truthtables/#/true/((a->p)&(p->e)&(d&a)&(s->!e)&(!s->x))->(d&x) 1/5
29/11/2017 Truth Table Creator

((a
(a p) p) (p
(a p)
(p e)
(a p) (p
(a p) e) (d (d a)
(p e) (d
a d e p s x ap pe (p da e se s sx a) dx (s
e) (d a)
e) (s e) (
a) (s e) ( s
e)
s x) x))
(d x)

T T F F T T F T F T F T T F F T F T T

T T F F T F F T F T F T T F F T F F T

T T F F F T F T F T F T T F T T F T T

T T F F F F F T F T F T T F T F F F T

T F T T T T T T T F F F F F F T F F T

T F T T T F T T T F F F F F F T F F T

T F T T F T T T T F F F T F T T F F T

T F T T F F T T T F F F T F T F F F T

T F T F T T F T F F F F F F F T F F T

T F T F T F F T F F F F F F F T F F T

T F T F F T F T F F F F T F T T F F T

T F T F F F F T F F F F T F T F F F T

T F F T T T T F F F F T T F F T F F T

T F F T T F T F F F F T T F F T F F T

T F F T F T T F F F F T T F T T F F T

T F F T F F T F F F F T T F T F F F T

http://www.cs.utexas.edu/~learnlogic/truthtables/#/true/((a->p)&(p->e)&(d&a)&(s->!e)&(!s->x))->(d&x) 2/5
29/11/2017 Truth Table Creator

((a
(a p) p) (p
(a p) (p e)
(a p) (p
(a p) e) (d (d a)
(p e) (d
a d e p s x ap pe (p da e se s sx a) dx (s
e) (d a)
e) (s e) (
a) (s
e) ( s
e)
s x) x))
(d x)

T F F F T T F T F F F T T F F T F F T

T F F F T F F T F F F T T F F T F F T

T F F F F T F T F F F T T F T T F F T

T F F F F F F T F F F T T F T F F F T

F T T T T T T T T F F F F F F T F T T

F T T T T F T T T F F F F F F T F F T

F T T T F T T T T F F F T F T T F T T

F T T T F F T T T F F F T F T F F F T

F T T F T T T T T F F F F F F T F T T

F T T F T F T T T F F F F F F T F F T

F T T F F T T T T F F F T F T T F T T

F T T F F F T T T F F F T F T F F F T

F T F T T T T F F F F T T F F T F T T

F T F T T F T F F F F T T F F T F F T

F T F T F T T F F F F T T F T T F T T

F T F T F F T F F F F T T F T F F F T

http://www.cs.utexas.edu/~learnlogic/truthtables/#/true/((a->p)&(p->e)&(d&a)&(s->!e)&(!s->x))->(d&x) 3/5
29/11/2017 Truth Table Creator

((a
(a p) p) (p
(a p) (p e)
(a p) (p
(a p) e) (d (d a)
(p e) (d
a d e p s x ap pe (p da e se s sx a) dx (s
e) (d a)
e) (s e) (
a) (s
e) ( s
e)
s x) x))
(d x)

F T F F T T T T T F F T T F F T F T T

F T F F T F T T T F F T T F F T F F T

F T F F F T T T T F F T T F T T F T T

F T F F F F T T T F F T T F T F F F T

F F T T T T T T T F F F F F F T F F T

F F T T T F T T T F F F F F F T F F T

F F T T F T T T T F F F T F T T F F T

F F T T F F T T T F F F T F T F F F T

F F T F T T T T T F F F F F F T F F T

F F T F T F T T T F F F F F F T F F T

F F T F F T T T T F F F T F T T F F T

F F T F F F T T T F F F T F T F F F T

F F F T T T T F F F F T T F F T F F T

F F F T T F T F F F F T T F F T F F T

F F F T F T T F F F F T T F T T F F T

F F F T F F T F F F F T T F T F F F T

http://www.cs.utexas.edu/~learnlogic/truthtables/#/true/((a->p)&(p->e)&(d&a)&(s->!e)&(!s->x))->(d&x) 4/5
29/11/2017 Truth Table Creator

((a
(a p) p) (p
(a p) (p e)
(a p) (p
(a p) (p e) (d (d a)
e) (d
a d e p s x ap pe (p da e se s sx a) dx (s
e) (d a)
e) (s e) (
a) (s e) ( s
e)
s x) x))
(d x)

F F F F T T T T T F F T T F F T F F T

F F F F T F T T T F F T T F F T F F T

F F F F F T T T T F F T T F T T F F T

F F F F F F T T T F F T T F T F F F T

173 mistakes made so far.

LICENSE
You may use, redistribute, sell, modify this code as long as you credit Bastion Fennell, Eysa Lee, and Thomas Kim.
If modified, you must state that the code has been modified from its original form

http://www.cs.utexas.edu/~learnlogic/truthtables/#/true/((a->p)&(p->e)&(d&a)&(s->!e)&(!s->x))->(d&x) 5/5

You might also like