Scribd
Upload
71 views

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
71 views

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

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy