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

New macro with extra formatting above raw macro output

x<hiddentext>generated with de:Wikipedia:Helferlein/VBA-Macro for EXCEL tableconversion V1.7<\hiddentext>

x

Fiddling with new macro output

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.

Venn, 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