Logika matematyczna – wzory

Tabele zerojedynkowe

negacja

p	~ p
0	1
1	0

alternatywa

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

koniunkcja

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

implikacja

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

równoważność

p	q	pq
0	0	1
0	1	0
1	0	0
1	1	1

Zapraszamy do zadań! tutaj