33 lines
1.8 KiB
Text
33 lines
1.8 KiB
Text
> tv := [true, false, FAIL];
|
|
tv := [true, false, FAIL]
|
|
|
|
> NotTable := Array(1..3, i->not tv[i] );
|
|
NotTable := [false, true, FAIL]
|
|
|
|
> AndTable := Array(1..3, 1..3, (i,j)->tv[i] and tv[j] );
|
|
[true false FAIL ]
|
|
[ ]
|
|
AndTable := [false false false]
|
|
[ ]
|
|
[FAIL false FAIL ]
|
|
|
|
> OrTable := Array(1..3, 1..3, (i,j)->tv[i] or tv[j] );
|
|
[true true true]
|
|
[ ]
|
|
OrTable := [true false FAIL]
|
|
[ ]
|
|
[true FAIL FAIL]
|
|
|
|
> XorTable := Array(1..3, 1..3, (i,j)->tv[i] xor tv[j] );
|
|
[false true FAIL]
|
|
[ ]
|
|
XorTable := [true false FAIL]
|
|
[ ]
|
|
[FAIL FAIL FAIL]
|
|
|
|
> ImpliesTable := Array(1..3, 1..3, (i,j)->tv[i] implies tv[j] );
|
|
[true false FAIL]
|
|
[ ]
|
|
ImpliesTable := [true true true]
|
|
[ ]
|
|
[true FAIL FAIL]
|