Literals

Positive Literals

Raw String Literals

String Literals

Boolean Satisfiability Problem

Character Type

Closest Models

C Syntax

Horn Clause

Karloff–zwick Algorithm

Normal Form

Pure Literal

Resolution (logic)

Resolution Technique

Conjecture

Function

Implicant

Java

Method

Objects

Output

Revision

Symbols

Unit