ma217_Logikk

Error

There was an error loading the page.

Contributors

Tore Gaupseth

Feedback

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

Bill Foster

said

Ready to use

8 years, 9 months ago

History

○

Bill Foster 8 years, 9 months ago

Gave some feedback: Ready to use

○

Tore Gaupseth 9 years, 3 months ago

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

Name	Status	Author	Last Modified
Truth tables 1(v2)	Ready to use	Bill Foster	01/06/2016 09:47
ma217_Logikk	Ready to use	Tore Gaupseth	05/06/2016 10:09
Truth table	Ready to use	Peter Chapman	01/06/2016 09:47
Truth table v2	draft	Peter Chapman	15/03/2018 08:40

Question statement

Fyll inn S og F i oppbyggingen av sannhetstabellen for uttrykket

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

Give any introductory information the student needs.

			Name	Type	Generated Value

logic_symbol_list	list	[ "p", "q", "not p", "not q" ]
latex_symbol_list	list	List of 4 items
s	list	[ 3, 0, 1, 2 ]

			Name	Type	Generated Value

a	string	\neg q
b	string	p
op	string	\land
pre_ev1	list	[ false, true, false, false ]
ev1	list	[ "F", "S", "F", "F" ]

			Name	Type	Generated Value

a1	string	q
b1	string	\neg p
op2	string	\lor
pre_ev2	list	[ true, false, true, true ]
ev2	list	[ "S", "F", "S", "S" ]

			Name	Type	Generated Value

p	list	[ true, true, false, false ]
q	list	[ true, false, true, false ]
disp	list	[ "S", "S", "F", "F" ]
disq	list	[ "S", "F", "S", "F" ]

			Name	Type	Generated Value

			op1	string	\to
			t_value	list	[ "S", "F", "S", "S" ]

Automatically regenerate variables?

Name

Data type

Value

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

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?

Generated value: `list`

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

This variable doesn't seem to be used anywhere.

Parts

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
9. Gap Gap 8. Match text pattern
  Add
10. Gap Gap 9. Match text pattern
  Add
11. Gap Gap 10. Match text pattern
  Add
12. Gap Gap 11. Match text pattern
  Add

Gap-fill

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

$p$	$q$	$\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{disp[0]}$	$\var{disq[0]}$	Gap 0.	Gap 4.	Gap 8.
$\var{disp[1]}$	$\var{disq[1]}$	Gap 1.	Gap 5.	Gap 9.
$\var{disp[2]}$	$\var{disq[2]}$	Gap 2.	Gap 6.	Gap 10.
$\var{disp[3]}$	$\var{disq[3]}$	Gap 3.	Gap 7.	Gap 11.

Advice

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

$p$	$q$	$\var{a} \var{op} \var{b}$
$\var{disp[0]}$	$\var{disq[0]}$	$\var{ev1[0]}$
$\var{disp[1]}$	$\var{disq[1]}$	$\var{ev1[1]}$
$\var{disp[2]}$	$\var{disq[2]}$	$\var{ev1[2]}$
$\var{disp[3]}$	$\var{disq[3]}$	$\var{ev1[3]}$

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

$p$	$q$	$\var{a1} \var{op2} \var{b1}$
$\var{disp[0]}$	$\var{disq[0]}$	$\var{ev2[0]}$
$\var{disp[1]}$	$\var{disq[1]}$	$\var{ev2[1]}$
$\var{disp[2]}$	$\var{disq[2]}$	$\var{ev2[2]}$
$\var{disp[3]}$	$\var{disq[3]}$	$\var{ev2[3]}$

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

$\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{ev1[0]}$	$\var{ev2[0]}$	$\var{t_value[0]}$
$\var{ev1[1]}$	$\var{ev2[1]}$	$\var{t_value[1]}$
$\var{ev1[2]}$	$\var{ev2[2]}$	$\var{t_value[2]}$
$\var{ev1[3]}$	$\var{ev2[3]}$	$\var{t_value[3]}$

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
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 exam:

max203_Logikk by Tore Gaupseth in Tore's workspace.

Loading...

Error

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

Feedback

History

Comment

Checkpoint description

Bill Foster 8 years, 9 months ago

Tore Gaupseth 9 years, 3 months ago

Error in variable testing condition

Error

Warning

Generated value: `list`

Parts

Gap-fill

Loading...

Error

ma217_Logikk

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

Feedback

History

Comment

Checkpoint description

Bill Foster 8 years, 9 months ago

Tore Gaupseth 9 years, 3 months ago

Error in variable testing condition

Error

Warning

Generated value: list

Parts

Gap-fill

Generated value: `list`