Loomine, võrdlemine: · new char[] tähed = {'a','b','c'}; String sõne1 = new String(tähed); · hulk konstruktoreid · on eriline false System.out.println(sõne1 == sõne2); · võrdlemine System.out.println(sõne1.equals(sõne2)); true Literaal - konkreetse väärtuse üleskirjutus programmis; literaale ei tohi poolitada; literaalina esitatud väärtuse tüüp on määratud kirjakujuga. Näiteks : 1. 0, -15, 2000 int-tüüpi kümnendsüsteemis 2. 0b0, -0b1111, 0b0_011_111_010_000 int-tüüpi kahendsüsteemis (alates Java 1.7) 3. 00, -017, 03720 int-tüüpi kaheksandsüsteemis 4. 0x0, -0Xf, 0xF int-tüüpi kuueteistkümnendsüsteemis 5. 0L, -017l, -0Xf1, 0x3E8l long-tüüpi (soovitavalt L, mitte l) 6. 0., -15., 60.301, 20000e-1 double-tüüpi 7. 0.D, -15
Teoreemid järeldumise ja samaväärsuse taandamisest ühe valemi omaduse kontrollimisele o Samaväärus F ↔ G o Järeldumine F → G 7 6. Literaal, täielik elementaarkonjunktsioon, täielik disjunktiivne normaalkuju, nende tõesuspiirkondade kirjeldused. TDNK olemasolu ja ühesus. TDNK-le teisendamise algoritm, tema etappidel kasutatavad samaväärsused. [1] Literaal o DEF: Literaaliks nimetatakse lausemuutujat või selle eitust, literaale loetakse positiivseks või negatiivseks vastavalt selelle, kas ta on puhas lausemuutuja või koos eitusega. N: A, B, ¬C Täielik elementaalkonjuktsioon o DEF: Muutujate X1, X2…, Xn täielikuks elementaarkonjunktsiooniks nimetatakse literaalide konjunktsiooni L1&L2&,..., &Ln Täielik disjunktiivne normaalkuju o DEF: Lausearvutuse valemi F täielikuks disjunktiivseks normaalkujuks (TDNK)
annaabi.ee 
