Matematikai Logika - Konjunkció igazságvizsgálata