ma219_Logikk

Loading...

Loading...

ma219_Logikk

Error

Error

Error

Contributors

Feedback

History

Generated value: `list`

Parts

Gap-fill

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

Feedback

History

Generated value: `list`

Parts

Gap-fill

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

Feedback

History

Generated value: list

Parts

Gap-fill

Generated value: `list`

Bill Foster 8 years, 9 months ago

Tore Gaupseth 9 years, 3 months ago

Comment

Checkpoint description

Bill Foster 8 years, 9 months ago

Tore Gaupseth 9 years, 3 months ago

Error in variable testing condition

Error

Warning

Comment

Checkpoint description

Bill Foster 8 years, 9 months ago

Tore Gaupseth 9 years, 3 months ago

Error in variable testing condition

Error

Warning

There was an error loading the page.

Tore Gaupseth

From users who are not members of Tore's workspace :

Bill Foster

said

Ready to use

8 years, 9 months ago

○

Gave some feedback: Ready to use

○

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

Name	Status	Author	Last Modified
Truth tables 4 (v2)	Ready to use	Bill Foster	01/06/2016 09:47
ma219_Logikk	Ready to use	Tore Gaupseth	05/06/2016 10:09

Question statement

Fyll ut sannhetstabellen for det logiske uttrykket:

$((\var{a} \var{op} \var{b})\var{op1}(\var{a1} \var{op2} \var{b1}))\var{op4}\var{a2}$ Tast inn S for sann og F for falsk.

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	[ 5, 0, 5, 2, 2, 4 ]

			Name	Type	Generated Value

a	string	\neg r
b	string	p
op	string	\to
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 r
b1	string	\neg p
op2	string	\to
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 p
pre_ev3		Error evaluating variable pre_ev3: Variable `bool_p` is not defined.
c2	string	p
d2	name	p
ev3		Error evaluating variable ev3: Variable `pre_ev3` is not defined.

			Name	Type	Generated Value

op1	string	\land
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	\land
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.

$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 used in the following exams:

max2_Logikk by Tore Gaupseth in Tore's workspace.
max203_Logikk by Tore Gaupseth in Tore's workspace.

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.