User:Wvbailey/Table and image tests

This is a test page for User:Wvbailey. Help:Table. Help:Table caption

This is a Caption

Data-Type-1	Data-Type-2
Data-1a	Data-2a
Data-1b	Data-2b

== Old macro with extra formatting above raw macro output

This is the output of the old macro with two formatting lines above it

Karnaugh	square #		x	y	z		( ~	( y	&	z )	&	( x	→	y ) )	→	( ~	(x	&	z ) )
x'y'z'	0		0	0	0		1	0	0	0	1	0	1	0	1	1	0	0	0
x'y'z	1		0	0	1		1	0	0	1	1	0	1	0	1	1	0	0	1
x'yz'	2		0	1	0		1	1	0	0	1	0	1	1	1	1	0	0	0
x'yz	3		0	1	1		0	1	1	1	0	0	1	1	1	1	0	0	1
xy'z'	4		1	0	0		1	0	0	0	0	1	0	0	1	1	1	0	0
xy'z	5		1	0	1		1	0	0	1	0	1	0	0	1	0	1	1	1
xyz'	6		1	1	0		1	1	0	0	1	1	1	1	1	1	1	0	0
xyz	7		1	1	1		0	1	1	1	0	1	1	1	1	0	1	1	1

Karnaugh	square #	'	x	y	z	'	( ~	( y	&	z )	&	( x	¨	y ) )	¨	( ~	(x	&	z ) )
x\'y\'z\'	0		0	0	0		1	0	0	0	1	0	1	0	1	1	0	0	0
x\'y\'z	1		0	0	1		1	0	0	1	1	0	1	0	1	1	0	0	1
x\'yz\'	2		0	1	0		1	1	0	0	1	0	1	1	1	1	0	0	0
x\'yz	3		0	1	1		0	1	1	1	0	0	1	1	1	1	0	0	1
xy\'z\'	4		1	0	0		1	0	0	0	0	1	0	0	1	1	1	0	0
xy\'z	5		1	0	1		1	0	0	1	0	1	0	0	1	0	1	1	1
xyz\'	6		1	1	0		1	1	0	0	1	1	1	1	1	1	1	0	0
xyz	7		1	1	1		0	1	1	1	0	1	1	1	1	0	1	1	1

New macro's output needs messaging

This is a Caption

Data-Type-1	Data-Type-2
Data-1a	Data-2a
Data-1b	Data-2b

The formula (~(y & z) & (x --> y)) --> (~ (x & z)) is a tautology, i.e. it is true for any truth-value of its propositions x, y and z.

Karnaugh	square #		x	y	z		(~	(y	&	z)	&	(x	-->	y))	-->	(~	(x	&	z))
x'y'z'	0		0	0	0		1	0	0	0	1	0	1	0	1	1	0	0	0
x'y'z	1		0	0	1		1	0	0	1	1	0	1	0	1	1	0	0	1
x'yz'	2		0	1	0		1	1	0	0	1	0	1	1	1	1	0	0	0
x'yz	3		0	1	1		0	1	1	1	0	0	1	1	1	1	0	0	1
xy'z'	4		1	0	0		1	0	0	0	0	1	0	0	1	1	1	0	0
xy'z	5		1	0	1		1	0	0	1	0	1	0	0	1	0	1	1	1
xyz'	6		1	1	0		1	1	0	0	1	1	1	1	1	1	1	0	0
xyz	7		1	1	1		0	1	1	1	0	1	1	1	1	0	1	1	1