Luis's copy of Truth tables 4 (v2)

Loading...

Loading...

Luis's copy of Truth tables 4 (v2)

Error

Error

Error

Contributors

History

Generated value: `list`

Parts

Gap-fill

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

History

Generated value: `list`

Parts

Gap-fill

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

History

Generated value: list

Parts

Gap-fill

Generated value: `list`

Luis Hernandez 6 years, 4 months ago

Comment

Checkpoint description

Luis Hernandez 6 years, 4 months ago

Error in variable testing condition

Error

Warning

Comment

Checkpoint description

Luis Hernandez 6 years, 4 months ago

Error in variable testing condition

Error

Warning

There was an error loading the page.

○

Created this as a copy of Truth tables 4 (v2).

Name	Status	Author	Last Modified
Truth tables 4 (v2)	Ready to use	Newcastle University Mathematics and Statistics	20/11/2019 14:51
Truth tables 4	draft	Marie Nicholson	04/02/2021 15:25
Luis's copy of Truth tables 4 (v2)	draft	Luis Hernandez	30/11/2018 00:54
Construir la tabla de verdad de una proposición compuesta	Ready to use	Luis Hernandez	02/12/2020 15:42

There are 11 other versions that do you not have access to.

Question statement

In the following question you are asked to construct a truth table for:

$((\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1}))\var{op4}\var{a2}.$

Enter T if true, else enter F.

Give any introductory information the student needs.

			Name	Type	Generated Value

logic_symbol_list	list	List of 6 items
latex_symbol_list	list	List of 6 items
s	list	[ 3, 0, 2, 5, 3, 1 ]

			Name	Type	Generated Value

a	string	\neg q
b	string	p
op	string	\land
pre_ev1		Error evaluating variable pre_ev1: Variable `bool_p` is not defined.
ev1		Error evaluating variable ev1: Variable `pre_ev1` is not defined.

			Name	Type	Generated Value

a1	string	\neg p
b1	string	\neg r
op2	string	\land
pre_ev2		Error evaluating variable pre_ev2: Variable `bool_p` is not defined.
ev2		Error evaluating variable ev2: Variable `pre_ev2` is not defined.

			Name	Type	Generated Value

			Name	Type	Generated Value

a2	string	\neg q
pre_ev3		Error evaluating variable pre_ev3: Variable `bool_p` is not defined.
c2	string	q
d2	name	q
ev3		Error evaluating variable ev3: Variable `pre_ev3` is not defined.

			Name	Type	Generated Value

op1	string	\to
pre_t_value		Error evaluating variable pre_t_value: Variable `pre_ev1` is not defined.
t_value		Error evaluating variable t_value: Variable `pre_t_value` is not defined.

			Name	Type	Generated Value

pre_final_value		Error evaluating variable pre_final_value: Variable `pre_t_value` is not defined.
op4	string	\lor
logic_values		Error evaluating variable logic_values: No definition of 'matrix' of correct type found.
final_value		Error evaluating variable final_value: Variable `pre_final_value` is not defined.

Automatically regenerate variables?

Name

Data type

Value

xxxxxxxxxx
 
["p","q","not p","not q","r","not r"]

JME function reference

Description

Describe what this variable represents, and list any assumptions made about its value.

Can an exam override the value of this variable?

[ "p", "q", "not p", "not q", "r", "not r" ]

This variable doesn't seem to be used anywhere.

Gap-fill
1. Gap Gap 0. Match text pattern
  Add
2. Gap Gap 1. Match text pattern
  Add
3. Gap Gap 2. Match text pattern
  Add
4. Gap Gap 3. Match text pattern
  Add
5. Gap Gap 4. Match text pattern
  Add
6. Gap Gap 5. Match text pattern
  Add
7. Gap Gap 6. Match text pattern
  Add
8. Gap Gap 7. Match text pattern
  Add

Ask the student a question, and give any hints about how they should answer this part.

Complete the following truth table:

$p$	$q$	$r$	$((\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1}))\var{op4}\var{a2}$
$\var{p[0]}$	$\var{q[0]}$	$\var{r[0]}$	Gap 0.
$\var{p[1]}$	$\var{q[1]}$	$\var{r[1]}$	Gap 1.
$\var{p[2]}$	$\var{q[2]}$	$\var{r[2]}$	Gap 2.
$\var{p[3]}$	$\var{q[3]}$	$\var{r[3]}$	Gap 3.
$\var{p[4]}$	$\var{q[4]}$	$\var{r[4]}$	Gap 4.
$\var{p[5]}$	$\var{q[5]}$	$\var{r[5]}$	Gap 5.
$\var{p[6]}$	$\var{q[6]}$	$\var{r[6]}$	Gap 6.
$\var{p[7]}$	$\var{q[7]}$	$\var{r[7]}$	Gap 7.

Advice

First we find the truth table for $\var{a} \var{op} \var{b}$ :

$p$	$q$	$r$	$\var{a} \var{op} \var{b}$
$\var{p[0]}$	$\var{q[0]}$	$\var{r[0]}$	$\var{ev1[0]}$
$\var{p[1]}$	$\var{q[1]}$	$\var{r[1]}$	$\var{ev1[1]}$
$\var{p[2]}$	$\var{q[2]}$	$\var{r[2]}$	$\var{ev1[2]}$
$\var{p[3]}$	$\var{q[3]}$	$\var{r[3]}$	$\var{ev1[3]}$
$\var{p[4]}$	$\var{q[4]}$	$\var{r[4]}$	$\var{ev1[4]}$
$\var{p[5]}$	$\var{q[5]}$	$\var{r[5]}$	$\var{ev1[5]}$
$\var{p[6]}$	$\var{q[6]}$	$\var{r[6]}$	$\var{ev1[6]}$
$\var{p[7]}$	$\var{q[7]}$	$\var{r[7]}$	$\var{ev1[7]}$

Then the truth table for $\var{a1} \var{op2} \var{b1}$ :

$p$	$q$	$r$	$\var{a1} \var{op2} \var{b1}$
$\var{p[0]}$	$\var{q[0]}$	$\var{r[0]}$	$\var{ev2[0]}$
$\var{p[1]}$	$\var{q[1]}$	$\var{r[1]}$	$\var{ev2[1]}$
$\var{p[2]}$	$\var{q[2]}$	$\var{r[2]}$	$\var{ev2[2]}$
$\var{p[3]}$	$\var{q[3]}$	$\var{r[3]}$	$\var{ev2[3]}$
$\var{p[4]}$	$\var{q[4]}$	$\var{r[4]}$	$\var{ev2[4]}$
$\var{p[5]}$	$\var{q[5]}$	$\var{r[5]}$	$\var{ev2[5]}$
$\var{p[6]}$	$\var{q[6]}$	$\var{r[6]}$	$\var{ev2[6]}$
$\var{p[7]}$	$\var{q[7]}$	$\var{r[7]}$	$\var{ev2[7]}$

Putting these together to find $(\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1})$ :

$p$	$q$	$r$	$\var{a} \var{op} \var{b}$	$\var{a1} \var{op2} \var{b1}$	$(\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1})$
$\var{p[0]}$	$\var{q[0]}$	$\var{r[0]}$	$\var{ev1[0]}$	$\var{ev2[0]}$	$\var{t_value[0]}$
$\var{p[1]}$	$\var{q[1]}$	$\var{r[1]}$	$\var{ev1[1]}$	$\var{ev2[1]}$	$\var{t_value[1]}$
$\var{p[2]}$	$\var{q[2]}$	$\var{r[2]}$	$\var{ev1[2]}$	$\var{ev2[2]}$	$\var{t_value[2]}$
$\var{p[3]}$	$\var{q[3]}$	$\var{r[3]}$	$\var{ev1[3]}$	$\var{ev2[3]}$	$\var{t_value[3]}$
$\var{p[4]}$	$\var{q[4]}$	$\var{r[4]}$	$\var{ev1[4]}$	$\var{ev2[4]}$	$\var{t_value[4]}$
$\var{p[5]}$	$\var{q[5]}$	$\var{r[5]}$	$\var{ev1[5]}$	$\var{ev2[5]}$	$\var{t_value[5]}$
$\var{p[6]}$	$\var{q[6]}$	$\var{r[6]}$	$\var{ev1[6]}$	$\var{ev2[6]}$	$\var{t_value[6]}$
$\var{p[7]}$	$\var{q[7]}$	$\var{r[7]}$	$\var{ev1[7]}$	$\var{ev2[7]}$	$\var{t_value[7]}$

Next we find the truth table for $\var{a2}$ :

$\var{c2}$	$\var{a2}$
$\var{d2[0]}$	$\var{ev3[0]}$
$\var{d2[1]}$	$\var{ev3[1]}$
$\var{d2[2]}$	$\var{ev3[2]}$
$\var{d2[3]}$	$\var{ev3[3]}$
$\var{d2[4]}$	$\var{ev3[4]}$
$\var{d2[5]}$	$\var{ev3[5]}$
$\var{d2[6]}$	$\var{ev3[6]}$
$\var{d2[7]}$	$\var{ev3[7]}$

Putting this all together to obtain the truth table we want:

$p$	$q$	$r$	$(\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1})$	$\var{a2}$	$((\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1}))\var{op4}\var{a2}$
$\var{p[0]}$	$\var{q[0]}$	$\var{r[0]}$	$\var{t_value[0]}$	$\var{ev3[0]}$	$\var{final_value[0]}$
$\var{p[1]}$	$\var{q[1]}$	$\var{r[1]}$	$\var{t_value[1]}$	$\var{ev3[1]}$	$\var{final_value[1]}$
$\var{p[2]}$	$\var{q[2]}$	$\var{r[2]}$	$\var{t_value[2]}$	$\var{ev3[2]}$	$\var{final_value[2]}$
$\var{p[3]}$	$\var{q[3]}$	$\var{r[3]}$	$\var{t_value[3]}$	$\var{ev3[3]}$	$\var{final_value[3]}$
$\var{p[4]}$	$\var{q[4]}$	$\var{r[4]}$	$\var{t_value[4]}$	$\var{ev3[4]}$	$\var{final_value[4]}$
$\var{p[5]}$	$\var{q[5]}$	$\var{r[5]}$	$\var{t_value[5]}$	$\var{ev3[5]}$	$\var{final_value[5]}$
$\var{p[6]}$	$\var{q[6]}$	$\var{r[6]}$	$\var{t_value[6]}$	$\var{ev3[6]}$	$\var{final_value[6]}$
$\var{p[7]}$	$\var{q[7]}$	$\var{r[7]}$	$\var{t_value[7]}$	$\var{ev3[7]}$	$\var{final_value[7]}$

Give a worked solution to the whole question.

Use this tab to check that this question works as expected.

There was an error which means the tests can't run:

Part	Test	Passed?
Gap-fill
Gap-fill		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet
Match text pattern
Match text pattern		Hasn't run yet

This question is not used in any exams.

Error evaluating variable p: Variable logic_values is not defined.

Error evaluating variable q: Variable logic_values is not defined.

Error evaluating variable r: Variable logic_values is not defined.

Error evaluating variable bool_p: Variable logic_values is not defined.

Error evaluating variable bool_q: Variable logic_values is not defined.

Error evaluating variable bool_r: Variable logic_values is not defined.