p	q	p^^q
1	1	1
1	0	0
0	1	0
0	0	0

KONIUNKCJA - tylko gdy

dwa zdania są prawdziwe zd. jest

prawdziwe

p	q	p v q
1	1	1
1	0	1
0	1	1
0	0	0

ALTERNATYWA - przynajmniej

jeden z argumentów musi być

prawdziwy

p	q	p→q
1	1	1
1	0	0
0	1	1
0	0	1

IMPLIKACJA - tylko wtedy

gdy poprzednik jest prawdziwy

a następnik fałszywy zdanie fałszywe

p	q	p≡q
1	1	1
1	0	0
0	1	0
0	0	1

RÓWNOWAŻNOŚĆ - dwa

zdania o takim samym argumencie

to zdania prawdziwe

ZADANIE [ ~( r v q) ≡ ( ~ p^r ) ] → ( q ≡ p )

r	q	p	r v q	~( r v q)	~ p	~ p^r	~( r v q) ≡ ( ~ p^r )	q ≡ p	[ ~( r v q) ≡ ( ~ p^r ) ] → ( q ≡ p )
1	1	1	1	0	0	0	1	1	1
1	1	0	1	0	1	1	0	1	1
1	0	1	1	0	0	0	1	0	0
1	0	0	1	0	1	1	0	1	1
0	1	1	1	0	0	1	0	1	1
0	1	0	1	0	1	0	1	0	0
0	0	1	0	1	0	1	1	0	0
0	0	0	0	1	1	0	0	1	1

ZADANIE [ ~( r ^ p) ≡ ( q → ~ r ) ] v ( q ≡ p )

r	p	q	r ^ p	~( r ^ p)	~ r	q → ~ r	~( r ^ p) ≡ ( q → ~ r )	q ≡ p	[ ~( r ^ p) ≡ ( q → ~ r ) ] v ( q ≡ p )
1	1	1	1	0	0	0	1	1	1
1	1	0	1	0	0	1	0	0	0
1	0	1	1	0	0	0	1	0	1
1	0	0	0	1	0	1	1	1	1
0	1	1	0	1	1	1	1	1	1
0	1	0	0	1	1	1	1	0	1
0	0	1	0	1	1	1	1	0	1
0	0	0	0	1	1	1	1	1	1

ZADANIE [ ~( r v q) ≡ ( ~ p^r ) ] → ( q ≡ p )

r	q	p	r v q	~( r v q)	~ p	~ p^r	~( r v q) ≡ ( ~ p^r )	q ≡ p	[ ~( r v q) ≡ ( ~ p^r ) ] → ( q ≡ p )
1	1	1
1	1	0
1	0	1
1	0	0
0	1	1
0	1	0
0	0	1
0	0	0

ZADANIE [ ~( r ^ p) ≡ ( q → ~ r ) ] v ( q ≡ p )

r	p	q	r ^ p	~( r ^ p)	~ r	q → ~ r	~( r ^ p) ≡ ( q → ~ r )	q ≡ p	[ ~( r ^ p) ≡ ( q → ~ r ) ] v ( q ≡ p )
1	1	1
1	1	0
1	0	1
1	0	0
0	1	1
0	1	0
0	0	1
0	0	0